Abstract categorical semantics for resourceful functional reactive programmingJeltsch, WolfgangJournal of logical and algebraic methods in programming2016 / p. 1177-1200 : ill http://dx.doi.org/10.1016/j.jlamp.2016.07.001

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOs

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 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Conference proceedings at Scopus Article at Scopus

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 Conference proceedings at Scopus Article at Scopus

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 Conference Proceedings at Scopus Article at Scopus Article at WOS

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 Conference proceeding at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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

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. 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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

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 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Post-surjectivity and balancedness of cellular automata over groupsCapobianco, Silvio; Kari, Jarkko; Taati, SiamakDiscrete mathematics and theoretical computer science2017 / art. 4, p. 1-16 : ill http://dx.doi.org/10.23638/DMTCS-19-3-4

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 Conference proceedings at Scopus Article at Scopus

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

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, 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