• Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill https://doi.org/10.1016/j.jlamp.2016.07.001 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979619802&origin=inward&txGid=ac9399787ae9356d280d813630adb3f9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000388062000005
• Besicovitch pseudodistances with respect to non-Følner sequencesCapobianco, Silvio; Guillon, Pierre; Nous, CamilleHAL archives2020 / hal-02566187, 15 p https://hal.archives-ouvertes.fr/hal-02566187
• Besicovitch pseudodistances with respect to non-følner sequencesCapobianco, Silvio; Guillon, PierreComplex Systems2021 / p. 133 - 158 https://doi.org/10.25088/COMPLEXSYSTEMS.30.2.133 https://www.scopus.com/sourceid/21100228550 https://www.scopus.com/record/display.uri?eid=2-s2.0-85108285187&origin=resultslist&sort=plf-f&src=s&sid=05068084bd701fc998b7acb03ca8263b&sot=b&sdt=b&s=DOI%2810.25088%2FCOMPLEXSYSTEMS.30.2.133%29&sl=33&sessionSearchId=05068084bd701fc998b7acb03ca8263b&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=COMPLEX%20SYST&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000657100700002
• Beta assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 525-529 https://doi.org/10.1007/978-3-030-54249-8_49 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090024440&origin=inward&txGid=c4a1c310ddc967bb1e2ef87178c16c2f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500049
• Beta assertive graphs : proofs of assertions with quantificationBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2021 / 23 p. : ill https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf https://www.scopus.com/sourceid/21100925611 https://www.scopus.com/record/display.uri?eid=2-s2.0-85111108312&origin=inward&txGid=e5644a19e1f9f32aece89ccb2dec99b9 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOG-IFCOLOG&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000620168700003
• A Characterization of Amenable Groups by Besicovitch PseudodistancesCapobianco, Silvio; Guillon, PierreCellular Automata and Discrete Complex Systems : 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020 : proceedings2020 / p. 99-110 https://doi.org/10.1007/978-3-030-61588-8_8 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85096516802&origin=inward&txGid=eb5abfda30f5caafd6077d8044e930a8
• COLOG-88Lorents, PeeterArvutustehnika ja Andmetöötlus : A&A1989 / lk. 36-37 https://www.ester.ee/record=b1071940*est
• Completeness of resolution for definite answersTammet, TanelJournal of logic and computation1995 / 4, p. 449-471
• Counting with AliceMoktefi, AmiroucheRIPEM: International Journal for Research in Mathematics Education Literature and Mathematics: possible interrelationships2020 / p.58-68 https://doi.org/10.37001/ripem.v10i2.2173
• Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 https://doi.org/10.1007/978-3-030-54249-8
• Did Lewis Carroll own a copy of George Boole's Laws of thought? An argument from the sale cataloguesMoktefi, AmiroucheBSHM bulletin : journal of the British Society for the History of Mathematics2018 / p. 21-28 : ill https://doi.org/10.1080/17498430.2017.1384200
• Extending automated deduction for commonsense reasoningTammet, TanelarXiv.org2020 / p. 1-19 https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159
• Fekete's lemma for componentwise subadditive functions of two or more real variablesCapobianco, SilvioarXiv.org2019 / 20 p. : ill https://arxiv.org/abs/1904.10507
• First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-85137673991&origin=inward&txGid=60ec579b5a850de7cdd5e269d1981618
• ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. XV-XVII https://doi.org/10.1515/9783110651423-205
• ForewordPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. XV-XVI https://www.degruyter.com/downloadpdf/book/9783110651409/10.1515/9783110651409-204.xml https://doi.org/10.1515/9783110651409-204
• From equations to distinctions: Two interpretations of effectful computationsVoorneveld, NielsProceedings of the 8th Workshop on Mathematically Structured Functional Programming, MSFP '20, Dublin, Ireland, 25 April 20202020 / p. 1-17 https://doi.org/10.4204/EPTCS.317.1 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85085695615&origin=inward&txGid=3d79698e0d3eddeaee64684d181f5541 https://www.webofscience.com/wos/woscc/full-record/WOS:001045275100001
• GC and other methods for full and partial context coverageRaun, Kristo; Torim, Ants; Ben Yahia, SadokProcedia computer science2021 / p. 746−755 https://doi.org/10.1016/j.procs.2021.08.077 https://www.scopus.com/sourceid/19700182801 https://www.scopus.com/record/display.uri?eid=2-s2.0-85116886662&origin=inward&txGid=26c89a11e9a51e416510f5a05a798f2e https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017 https://www.webofscience.com/wos/woscc/full-record/WOS:000721215200017
• General Introduction to Logic of the FuturePietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 1-13 https://doi.org/10.1515/9783110651409-001
• Hulgateooria ja loogika elemente : põhimõisted ja ülesandedMonakov, Aleksander; Normak, P.; Levin, Aleksander1986 https://www.ester.ee/record=b1224422*est
• Icons, interrogations, and graphs: On Peirce's integrated notion of abductionPietarinen, Ahti-Veikko; Bellucci, FrancescoTransactions of the Charles S. Peirce Society2020 / p. 43-61 https://doi.org/10.2979/trancharpeirsoc.56.1.03 https://www.scopus.com/sourceid/14000155926 https://www.scopus.com/record/display.uri?eid=2-s2.0-85087984957&origin=inward&txGid=69b23f6bad367c1f9ee87dc00f4387a7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=T%20C%20S%20PEIRCE%20SOC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000543557000003
• Introduction to the Theory of Existential Graphs and Volume 1Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Volume 1. History and applications2020 / p. 14-36 https://doi.org/10.1515/9783110651409-002
• Introduction to the Theory of Existential Graphs, Volumes 2/1 and 2/2Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 1: The Logical Tracts2021 / p. 15-68 https://doi.org/10.1515/9783110651423-002
• Introduction to the Theory of Existential Graphs, Volumes 2/1 and 2/2Pietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 15-28 https://doi.org/10.1515/9783110740462-002
• Introduction to Volume 2/1: The Logical TractsPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 69-100 https://doi.org/10.1515/9783110651423-003
• Introduction to Volume 2/2: The 1903 Lowell LecturesPietarinen, Ahti-VeikkoLogic of the future : writings on existential graphs. Part 2: The 1903 Lowell Lectures2021 / p. 29-117 https://doi.org/10.1515/9783110740462-003
• JärelsõnaTammet, TanelGödeli tõestus : koos Kurt Gödeli loenguga matemaatika alustest ja Tanel Tammeti järelsõnaga2020 / lk. 125−135 https://www.ester.ee/record=b5346988*est
• Keel ja loogikaLorents, Peeter2000 https://www.ester.ee/record=b1372695*est
• Knowledge integration for commonsense reasoning with default logicJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkProceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 1 / p. 148-155 https://doi.org/10.5220/0000165700003335
• La logique symbolique en debat a Oxford a la fin du dix-neuvieme siecle : les disputes logiques de Lewis Carroll et John Cook WilsonMarion, Mathieu; Moktefi, AmiroucheRevue d'histoire des sciences2014 / p. 185-205
• Lausearvutus ja hulgateooria elemendid : loengukonspekt : ülesanded1975 https://www.ester.ee/record=b1303989*est
• Lausearvutus ja hulgateooria elemendid : metoodiline materjal1982 https://www.ester.ee/record=b1265264*est
• Léon Foucou and the beginnings of mathematical logic in FranceMoktefi, Amirouche; Chevalier, Jean-Marie C.History and philosophy of logic2025 / 24 p https://doi.org/10.1080/01445340.2025.2488605
• LogicMoktefi, AmiroucheThe Mathematical World of Charles L. Dodgson (Lewis Carroll)2019 / p. 87-120 https://doi.org/10.1093/oso/9780198817000.003.0004
• Logic of the future : writings on existential graphs. Part 2: The 1903 Lowell LecturesPeirce, Charles S.2021 https://doi.org/10.1515/9783110740462
• Logic of the future : writings on existential graphs. Part 1: The Logical TractsPeirce, Charles S.2021 https://www.degruyter.com/document/doi/10.1515/9783110651423/html#contents https://doi.org/10.1515/9783110651423
• Logic of the future : writings on existential graphs. Volume 1. History and applicationsPeirce, Charles S.2020 https://doi.org/10.1515/9783110651409
• Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf
• Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein2002 https://www.ester.ee/record=b1689701*est
• Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein1997 https://www.ester.ee/record=b1053345*est
• Loogika. Argumentatsioon. MõtlemiskultuurMeos, Indrek2003 https://www.ester.ee/record=b1764843*est
• Matemaatilise loogika põhimõisteidLorents, PeeterArvutustehnika ja Andmetöötlus : A&A1988 / nr. 7 lk. 27-30; nr. 8 lk. 29-33,; nr. 9 lk. 32-36 ; nr. 11 lk. 33-35; nr. 12 lk. 33-36 https://www.ester.ee/record=b1071940*est
• Matemaatilise loogika põhimõisteid : Lambada-arvutustestLorents, PeeterArvutustehnika ja Andmetöötlus1990 / 6, lk. 45-48; 7, lk. 43-48
• Matemaatilise loogika põhimõisteid : ülevaade rekursiooniteooria põhimõistetest ja tulemustestLorents, PeeterArvutustehnika ja Andmetöötlus1990 / 1, lk. 35-40; 2, lk. 27-32; 3, lk. 32-38; 4, lk. 40-43
• Natural arguments : a tribute to John Woods2019 https://www.collegepublications.co.uk/tributes/?00040
• On the completeness of associative idempotent functionsHenno, JaakZeitschrift für mathematische Logik und Grundlagen der Mathematik1979 / S. 37-43 https://www.ester.ee/record=b1830546*est https://doi.org/10.1002/malq.19790250303
• Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, Tarmo31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts2019 / p. 40-43 https://doi.org/10.23658/taltech.nwpt/2019 https://cs.ttu.ee/events/nwpt2019/abstracts/paper24.pdf
• Operational semantics with semicommutationsMaarand, Hendrik; Uustalu, TarmoJournal of logical and algebraic methods in programming2021 / art. 100677, 27 p https://doi.org/10.1016/j.jlamp.2021.100677 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85104417236&origin=inward&txGid=06cb22366fc447c4b2b53c7efef0f855 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000653017200003
• Peirce on phaneroscopical analysisBellucci, FrancescoJournal Phänomenologie2015 / p. 56-72
• Plotkin's call-by-value λ-calculus as a modal calculusEspírito Santo, José; Pinto, Luis; Uustalu, TarmoJournal of Logical and Algebraic Methods in Programming2022 / art. 100775, 17 p https://doi.org/10.1016/j.jlamp.2022.100775 https://www.scopus.com/sourceid/21100403130 https://www.scopus.com/record/display.uri?eid=2-s2.0-85129234344&origin=inward&txGid=818c3937048fab32997e9a37dfae214c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000799966300001
• Post-surjectivity and balancedness of cellular automata over groupsCapobianco, Silvio; Kari, Jarkko; Taati, SiamakDiscrete mathematics and theoretical computer science2017 / art. 3918, p. 1-16 : ill https://doi.org/10.23638/DMTCS-19-3-4 https://www.scopus.com/sourceid/78470 https://www.scopus.com/record/display.uri?eid=2-s2.0-85032037915&origin=inward&txGid=b858e453b91a647ac0f07db9ef47d50c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=DISCRETE%20MATH%20THEOR&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000423286200005
• PrefacePietarinen, Ahti-Veikko; Chapman, Peter; Bosveld-de Smet, LeonieDiagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. v - vi https://doi.org/10.1007/978-3-030-54249-8 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090045206&origin=inward&txGid=281c3cfd474c4160119778d963dfcdb7
• Resolution, inverse method and the sequent calculusTammet, TanelComputational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings1997 / p. 65-83 https://link.springer.com/content/pdf/10.1007/3-540-63385-5_33.pdf
• Review of Christopher Morgan's The pamphlets of Lewis Carroll : games, puzzles, and related piecesMoktefi, AmiroucheLewis Carroll review2017 / p. 14-16
• Solving large systems of logical equationsZakrevskij, Arkadij D2013 http://www.ester.ee/record=b3000573*est
• The depth of functions in m-valued logicHenno, JaakElektronische Informationsverarbeitung und Kybernetik1979 / S. 33-36 https://www.ester.ee/record=b1505001*est
• The depth of monotone functions in multivalued logicHenno, JaakInformation processing letters1979 / p. 176-177 https://www.ester.ee/record=b3201538*est
• The Mathematical World of Charles L. Dodgson (Lewis Carroll)2019 https://doi.org/10.1093/oso/9780198817000.001.0001
• The mechanisation of inference : Venn’s logical-diagram machineMoktefi, AmiroucheIcon2024 / p. 45-59 https://doi.org/10.11590/icon.2024.2.02
• Towards normalization by evaluation for Lambek CalculusVeltri, Niccolo32nd Nordic Workshop on Programming Theory, NWPT 2021, Reykjavik, Iceland, and online, 4-6 November 20212021 / 4 p http://icetcs.ru.is/nwpt21/abstracts/paper34.pdf http://icetcs.ru.is/nwpt21/programme.html
• Two set-based implementations of quotients in type theoryVeltri, Niccolò14th Symposium on Programming Languages and Software Tools, SPLST 2015, Tampere, 9-10 October 20152015 / p. 194-205 https://ceur-ws.org/Vol-1525/paper-14.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-84962598967&origin=inward&txGid=df119720fb862645bb6560d535630baf
• Two set-based implementations of quotients in type theoryVeltri, NiccoloProceedings of the 8th Annual Conference of the Estonian National Doctoral School in Information and Communication Technologies : December 5-6, 2014, Rakvere2014 / p. 149-152
• Исчисление высказываний и элементы теории множеств во введении в инженерную математикуJõgi, Tiiu; Tammeraid, IvarЗональное совещание-семинар заведующих кафедрами и ведущих преподавателей математики вузов Белорусской, Латвийской, Литовской, Эстонской ССР и Калининградской области РСФСР : Вильнюс, 12-14 окт. 1983 г. : тезисы докладов1983 / с. 100 https://www.ester.ee/record=b1564990*est
• Немонолитная логика эталонных процессовTepandi, JaakПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 71-73 https://www.ester.ee/record=b1246479*est
• О структурно-симметрических функцияхHenno, JaakПрименение методов математической логики : IV всесоюзная конференция : секция "Логика взаимодействующих процессов" : секция "Алгоритмика трудных задач" : тезисы докладов1986 / с. 187-188 https://www.ester.ee/record=b1246479*est