Abduction and diagramsPietarinen, Ahti-VeikkoLogic journal of the IGPL2020 / p. 447-468 https://doi.org/10.1093/jigpal/jzz034 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Abductive inference within a pragmatic frameworkChiffi, Daniele; Pietarinen, Ahti-VeikkoSynthese2020 / p. 2507-2523 https://doi.org/10.1007/s11229-018-1824-6 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Abstraction and generalization in the logic of science : cases from nineteenth-century scientific practiceCristalli, Claudia; Pietarinen, Ahti-VeikkoHOPOS: The journal of the International Society for the History of Philosophy of Science2021 / p. 93-121 https://doi.org/10.1086/713087 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Active inference and abductionPietarinen, Ahti-Veikko; Beni, Majid D.Biosemiotics2021 / p. 499–517 https://doi.org/10.1007/s12304-021-09432-0 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Algebre et logique symboliques : arbitraire du signe et langage formelDurand-Richard, Marie-Jose; Moktefi, AmiroucheLa pointure du symbole2014 / p. 295-328

Amgoud, Leila; Besnard, Philippe; Vesic, Srdjan. Equivalence in logic-based argumentation. J. Appl. Non-Class. Log. 24 (2014), no. 3, 181-208 [Online resource]Chiffi, DanieleMathSciNet : mathematical reviews2016 http://www.ams.org/mathscinet/

An analysis of existential graphs-part 2 : betaBellucci, Francesco; Pietarinen, Ahti-VeikkoSynthese2021 / p. 7705-7726 : ill https://doi.org/10.1007/s11229-021-03134-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Arvutamine on loodusteadus : [intervjuu Tarmo Uustaluga]Uustalu, TarmoTeadusmõte Küberneetika Instituudis2010 / lk. 86-90 : portr

Arvutamine on loodusteadus : vastab Tarmo UustaluUustalu, TarmoHorisont2006 / lk. 15-17 : portr https://artiklid.elnet.ee/record=b2039570*est

Assertion and denial : a contribution from logical notationsPietarinen, Ahti-Veikko; Bellucci, FrancescoJournal of applied logic2017 / p. 1-22 : ill https://doi.org/10.1016/j.jal.2017.01.001

Assertions and conditionals : a historical and pragmatic stanceChiffi, Daniele; Di Giorgio, AlfredoStudia humana2017 / p. 25-38 https://doi.org/10.1515/sh-2017-0004

Assertions and hypotheses : a logical framework for their opposition relationsCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroLogic journal of the IGPL2017 / p. 131-144 : ill https://doi.org/10.1093/jigpal/jzw036

Assertive and existential graphs : a comparisonPietarinen, Ahti-Veikko; Chiffi, DanieleDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 565-581 https://doi.org/10.1007/978-3-319-91376-6_51 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied non-classical logics2018 / p. 72–91 https://doi.org/10.1080/11663081.2017.1418101 Journal metrics at Scopus Aricle at Scopus

Calling paradigms and the box calculusSanto, Jose Espırito; Pinto, Luis; Uustalu, TarmoEUTYPES-TYPES 2020 : Abstracts2020 / 2 p https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf

A Categorical semantics for bounded Petri NetsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanieleProceedings of the 4th Annual International Applied Category Theory Conference 2021 [ACT 2021] : Cambridge, United Kingdom, 12-16 July 20212021 / 15 p https://doi.org/10.48550/arXiv.2101.09100 Conference Proceedings at Scopus Article at Scopus Article at WOS

Charles S. Peirce and the medieval doctrine of consequentiaeBellucci, FrancescoHistory and philosophy of logic2016 / p. 244-268 http://dx.doi.org/10.1080/01445340.2015.1118338

Charles Sanders Peirce : logic [Online resource]Bellucci, Francesco; Pietarinen, Ahti-VeikkoThe Internet encyclopedia of philosophy2015 http://www.iep.utm.edu/peir-log/

Christine Ladd-Franklin's and Victoria Welby's correspondence with Charles PeircePietarinen, Ahti-VeikkoSemiotica2013 / p. 139-161

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

Combining JSON-LD with first order logicTammet, Tanel; Sutcliffe, GeoffProceedings - 2021 IEEE 15th International Conference on Semantic Computing, ICSC 20212021 / p. 256 - 261 https://doi.org/10.1109/ICSC50631.2021.00051 Article at Scopus Article at WOS

Compositional diagrammatic first-order logicHaydon, Nathan Joseph; Sobocinski, Pawel MariaDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 402-418 https://doi.org/10.1007/978-3-030-54249-8_32 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023

Confidences for commonsense reasoning.Tammet, Tanel; Draheim, Dirk; Järv, PriitAutomated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021 : proceedings2021 / p. 507–524 https://doi.org/10.1007/978-3-030-79876-5_29 Conference Proceedings at Scopus Article at Scopus Article at WOS

Conjectures and abductive reasoning in gamesPietarinen, Ahti-VeikkoJournal of applied logics : IfCoLog journal of logics and their applications2018 / p. 1121-1143 https://doi.org/10.13140/RG.2.2.32685.18409

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Continuity, connectivity and regularity in spatial diagrams for N termsMoktefi, Amirouche; Bellucci, Francesco; Pietarinen, Ahti-VeikkoDLAC 2013 : Diagrams, Logic and Cognition : proceedings of the First International Workshop on Diagrams, Logic and Cognition : Kolkata, India, October 28-29, 20132014 / p. 31-35 : ill

Correction to: On the Logical Philosophy of Assertive Graphs (Journal of Logic, Language and Information, (2020), 29, 4, (375-397), 10.1007/s10849-020-09315-6)Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of Logic, Language and Information2020 / p. 399 https://doi.org/10.1007/s10849-020-09316-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

De l'imagination nécessaire pour encercler un conceptMoktefi, Amirouche37ème Congrès de l'Association des Sociétés de Philosophie de Langue Française (Rio de Janeiro, 26-31 March 2018). Livre de Résumés2018 / p. [23-25] https://www.academia.edu/36366734/ASPLF_2018_LIMAGINATION_Rio_de_JaneiRo

De l'imagination nécessaire pour encercler un conceptMoktefi, AmiroucheL'Imagination : Actes du 37e Congrès de Association des Sociétés de philosophie de langue française, Rio de Janeiro, 26-31 Mars 20182020 / p. 45-60 http://collegepublications.co.uk/contents/ABF00001.pdf

Diagrammatic reasoning : some notes on Charles S. Peirce and Friedrich A. LangeBellucci, FrancescoHistory and philosophy of logic2013 / p. 293-305

Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018 : proceedings2018 https://doi.org/10.1007/978-3-319-91376-6

Diagrams as scientific instrumentsMoktefi, AmiroucheVirtual reality - real visuality : virtual, visual, veridical2017 / p. 81-89

Dialoog PlatonigaMägi, MargusLoogika ja mõtlemine1994 / lk. 3-14 https://www.ester.ee/record=b1067802*est

Division algorithms - from past to present chance to improve area time and complexity for digital applicationsPatankar, Udayan Sunil; Flores, Miguel E.; Koel, AntsLAEDC 2020 : Latin American Electron Devices Conference, San José, Costa Rica, February 25-28, 20202020 / 4 p https://doi.org/10.1109/LAEDC49063.2020.9073050

Dünaamiline ja loogiline alge G.W. Leibnizi monadoloogiasKõiv, Madis; Müürsepp, P.III vabariikliku teaduslookonverentsi teesid1984 / lk. 206-213 https://www.ester.ee/record=b1281485*est

A dynamic approach to Peirce's interrogative construal of abductive logicMa, Minghui; Pietarinen, Ahti-VeikkoIfCoLog journal of logics and their applications. Vol. 3, no. 1, Special issue frontiers of abduction2016 / p. 73-104 http://www.collegepublications.co.uk/downloads/ifcolog00005.pdf

Editorial prefacePietarinen, Ahti-VeikkoSynthese2015 / p. 877-879 http://dx.doi.org/10.1007/s11229-014-0656-2

Ei ole võimalik?Meos, IndrekHorisont2005 / 4, lk. 53

Equivalent sets of functions of multiple valued logicHenno, JaakThe Twelfth International Symposium on Multiple-Valued Logic, May 25-27, 1982 ... Paris, France : proceedings1982 / p. 25-27

Euler diagrams through the looking glass : from extent to intentStapleton, Gem; Moktefi, Amirouche; Howse, John; Burton, JimDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 365-381 : ill https://doi.org/10.1007/978-3-319-91376-6_34 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Existential graphs as an instrument of logical analysis : part I. AlphaBellucci, Francesco; Pietarinen, Ahti-VeikkoThe review of symbolic logic2016 / p. 209-237 : ill https://doi.org/10.1017/S1755020315000362

Exploring the beta quadrantPietarinen, Ahti-VeikkoSynthese2015 / p. 941-970 : ill http://dx.doi.org/10.1007/s11229-015-0677-5

Extending and applying a logic for pragmaticsCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroLogique et analyse2017 / p. 227-244 http://dx.doi.org/10.2143/LEA.239.0.3237152

Extensions of Euler diagrams in Peirce's four manuscripts on logical graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings2016 / p. 139-154 : ill http://dx.doi.org/10.1007/978-3-319-42333-3_11

Figuring it out : logic diagrams, by George Englebretsen, In cooperation with JoséMartin Castro-Manzano and José Roberto Pacheco-Montes. Series:PhilosophicalAnalysis(vol. 78), Berlin/Boston, De Gruyter, 2020, xiv+220 pp.,e109.95 (hardcover,EPUB),e20.95 (paperback), ISBN 978-3-11-062163-1Moktefi, AmiroucheHistory and philosophy of logic2023 / p. 104-107 https://doi.org/10.1080/01445340.2022.2045128

Filosoofia ja loogika testid [Elektrooniline teavik]Meos, Indrek2020 https://filosoofia.indrekmeos.xyz/testid/

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

Frege and Peirce on the signs of generalityPietarinen, Ahti-Veikko; Bellucci, Francesco6th World Congress and School on Universal Logic, UNILOG'2018, June 16–26, 20182018 / p. 266-268 : ill http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

From Mitchell to Carus : fourteen years of logical graphs in the makingBellucci, Francesco; Pietarinen, Ahti-VeikkoTransactions of the Charles S. Peirce Society2016 / p. 539-575 http://dx.doi.org/10.2979/trancharpeirsoc.52.4.02

Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Generalized Jeffrey conditionalization : a frequentist semantics of partial conditionalizationDraheim, Dirk2017 https://doi.org/10.1007/978-3-319-69868-7

Graph Operad Logic X2013

A graphical deep inference system for intuitionistic logicPietarinen, Ahti-Veikko; Ma, MinghuiLogique et analyse2019 / p. 73-114 https://doi.org/10.2143/LEA.245.0.3285706 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Habits of reasoning : on the grammar and critics of logical habitsPietarinen, Ahti-Veikko; Bellucci, FrancescoConsensus on Peirce's concept of habit : before and beyond consciousness2016 / p. 265-282 https://doi.org/10.1007/978-3-319-45920-2_15

Hegeli filosofeerimise vormMägi, MargusLoogika ja mõtlemine1994 / lk. 15-23

Hegeli loogika vormist ja formaalse loogika sisustLuure, Andres; Hegel, Georg Wilhelm FriedrichLoogika ja mõtlemine1994 / lk. 32-52

Hintikka memorial issue : introduction and remarks on Jaakko Hintikka's logical philosophyPietarinen, Ahti-VeikkoLogica Universalis2019 / p. 137–145 https://doi.org/10.1007/s11787-019-00222-4 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Historio-GraphyMoktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 511-514 https://doi.org/10.1007/978-3-030-54249-8_46 Conference proceedings at Scopus Article at Scopus Article at WOS

How to say "Yes" or "No" : logical approaches to modes of assertion and denial : book of abstracts [Online resource]2016 https://publicatt.unicatt.it/retrieve/handle/10807/73622/114880/how_to_say__yes__or__no___logical_approaches_to_modes_of_assertion_and_denial_3.pdf

How to say "Yes" or "No" : logical approaches to modes of assertion and denial, 21-22 JanuaryCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroThe reasoner2016 / p. 20 http://www.thereasoner.org/

Hägune loogikaTammemäe, KalleArvutustehnika ja Andmetöötlus1994 / 5, lk. 21-26 ; 6, lk. 19-24 ; 7/8, lk. 26-29

Identifying NBTI-critical paths in nanoscale logicUbar, Raimund-Johannes; Vargas, Fabian; Jenihhin, Maksim; Raik, Jaan; Kostin, Sergei; Bolzani Poehls, Leticia16th Euromicro Conference series on Digital System Design : DSD 2013 : proceedings : 4-6 September 2013, Santander, Spain2013 / p. 136-141 : ill

Inimtegevuse loogika ja haridusLuure, Andres; Olander, AareHaridus1992 / 5, lk. 22-26

Introduction : history and philosophy of logical notationBellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoHistory and philosophy of logic2018 / p. 1-2 https://doi.org/10.1080/01445340.2017.1372881 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Is there a general diagram concept?Pietarinen, Ahti-VeikkoThinking with diagrams : the semiotic basis of human cognition2016 / p. 121-137

Juhusest sünnitatud paljutõotav korralagedusMägi, VahurNoorte Hääl : ELKNÜ Keskkomitee häälekandja1980 https://www.ester.ee/record=b1320792*est

Juubelihõnguline teadusfilosoofia maailmakongress [Prantsusmaal]Müürsepp, Peeter; Vihalemm, ReinSirp2011 / lk. 23 : ill

Keel ja loogikaLorents, Peeter2000 https://www.ester.ee/record=b1372695*est

Kompetentsustest : finantsarvutuste üldalused = engineering economics1993 http://www.ester.ee/record=b4754159*est

Kui palju on loovuses loogikat?Tiidemann, TiitInseneeria2011 / lk. 34-38 : ill https://www.ester.ee/record=b1519314*est

Let us investigate! Dynamic conjecture-making as the formal logic of abductionMa, Minghui; Pietarinen, Ahti-VeikkoJournal of philosophical logic2018 / [33] p. : ill https://doi.org/10.1007/s10992-017-9454-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Lewis Carroll’s almost diagrammatic logic notationEnglebretsen, George; Moktefi, AmiroucheLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2023 / p. 151-168 https://doi.org/10.1007/978-3-030-94452-0_8 Article collection metrics at Scopus Article at Scopus

Lewis Carroll’s almost diagrammatic notationMoktefi, AmiroucheEnglebretsen, G. (ed.). Carrollian Notes2021 / p. 84−108

Lewis Carroll's Diaries : the private journals of Charles Lutwidge Dodgson (Lewis Carroll) / The logic pamphlets of Charles Lutwidge Dodgson andrelated pieces : [Essay review]Moktefi, AmiroucheHistory and philosophy of logic2018 / p. 187-200 https://doi.org/10.1080/01445340.2017.1407621 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Lewis Carroll's seven charts (and many others) [Online resource]Moktefi, AmiroucheHandbook of the 6th World Congress and School on Universal Logic2018 / p. 145 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

"Logic, considered as semeiotic" : on Peirce's philosophy of logicBellucci, FrancescoTransactions of the Charles S. Peirce Society2014 / p. 523-547 http://www.jstor.org/stable/10.2979/trancharpeirsoc.50.4.523

Logic diagrams : what Euler really did? [Online resource]Lemanski, Jens; Moktefi, AmiroucheHistoriae scientiarum Baltica 2017 : abstracts of the XXVIII International Baltic Conference on the History of Science : May 18-20, 2017, Tartu, Estonia2017 / p. 32-33 http://www.ester.ee/record=b4677628*est http://dspace.ut.ee/bitstream/handle/10062/56393/abstracts_2017.pdf?sequence=4&isAllowed=y

Logic of the future : writings on existential graphs. Volume 1. History and applicationsPeirce, Charles S.2020 https://doi.org/10.1515/9783110651409

Logic, psychology, and apperception : Charles S. Peirce and Johann F. HerbartBellucci, FrancescoJournal of the history of ideas2015 / p. 69-91 http://dx.doi.org/10.1353/jhi.2015.0007

Logical and linguistic games from Peirce to Grice to HintikkaPietarinen, Ahti-VeikkoTeorema2014 / p. 121-136

Logical consequence in the diagrammatic system of assertive graphs [Online resource]Chiffi, Daniele; Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 262-263 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

Logical investigations on assertion and denialCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroJournal of applied logic2017 / p. S1-S2 https://doi.org/10.1016/j.jal.2017.11.003

Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein2002 https://www.ester.ee/record=b1689701*est

Loogika ainekavaMeos, IndrekFilosoofia õpetamisest2006 / lk. 51-52

Loogika HHF1010 [Videosalvestis] : õppematerjalidMeos, Indrek2008 https://www.ester.ee/record=b2338462*est

Loogika ja mõtlemine : [artiklite kogumik]1994 https://www.ester.ee/record=b1067802*est

Loogika ja pragmaatilisus õigusloomesMereste, UnoRiigikogu Toimetised2001 / lk. 122-131

Loogika. Argumentatsioon. MõtlemiskultuurMeos, Indrek2003 https://www.ester.ee/record=b1764843*est

Loogikaanalüsaator. Mis ja milleks?Tammemäe, KalleArvutustehnika ja Andmetöötlus1991 / 9, lk. 1-15

LoogikaanalüsaatoridNiinsalu, Udo; Vaimann, V.Side. Raadio. Televisioon : infoseeria 101982 / lk. 13-16 : joon https://www.ester.ee/record=b1232303*est

Loogikalülituste struktuurimudelite sisestamine arvutisseKull, J.; Viilup, AguXXIX vabariiklik üliõpilaste teaduslik- tehniline konverents 30. märtsist - 1. aprillini 1977 : ettekannete teesid1977 / lk. 45 https://www.ester.ee/record=b2449987*est

Loogikaprogrammi minimaalne semantikaHenno, JaakТезисы докладов конференции "Методы алгебры и анализа", 21-23 сентября 19881988 / с. 37-38 https://www.ester.ee/record=b1229448*est

Lugesin üht raamatut : tõsine suutäis loogikat filosoofia lisanditega : [Enn Kasaku "Loogika alused" arvustus]Meos, IndrekHorisont2014 / lk. 59

Ma tean, et ma midagi ei teaMeos, IndrekHorisont2004 / 6, lk. 49 https://artiklid.elnet.ee/record=b1017026*est https://artiklid.elnet.ee/record=b1017026*est

Majanduse loogika : (ökonoloogika struktuurne mõisteaparaat)Koslov, Vladimir1991 http://www.ester.ee/record=b1251188*est

Majanduse loogika : (ökonoloogika struktuurne mõisteaparaat)Koslov, Vladimir1990 https://www.ester.ee/record=b1205579*est

Making sense of Schopenhauer's diagram of Good and EvilLemanski, Jens; Moktefi, AmiroucheDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 721-724 : ill https://doi.org/10.1007/978-3-319-91376-6_67 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Methodeutic of abductionBellucci, Francesco; Pietarinen, Ahti-VeikkoAbduction in Cognition and Action2021 / p. 107–127 https://doi.org/10.1007/978-3-030-61773-8_5

Mitte midagi pole olemas?Meos, IndrekHorisont2004 / 2, lk. 53 https://artiklid.elnet.ee/record=b1015290*est

Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference proceeding at Scopus Article at Scopus

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.48550/arXiv.2205.08916

A multimodal pragmatic analysis of the knowability paradoxCarrara, Massimiliano; Chiffi, Daniele; Sergio, DavideApplications of formal philosophy : the road less travelled2017 / p. 195-209 https://doi.org/10.1007/978-3-319-58507-9_9

Naatan Kvarki raamaturiiulAgur, UstusHorisont1970 / lk. 73-75 https://www.ester.ee/record=b1072243*est http://www.digar.ee/id/nlib-digar:291254 https://www.ester.ee/record=b1266730*est https://www.ester.ee/record=b1351663*est

Natural arguments : a tribute to John Woods2019 https://www.collegepublications.co.uk/tributes/?00040

Neat, swine, sheep, and deer : Mill and Peirce on natural kindsBellucci, FrancescoBritish journal for the history of philosophy2015 / p. 911-932 http://dx.doi.org/10.1080/09608788.2015.1045445

Negative terms in Euler diagrams : Peirce's solutionMoktefi, Amirouche; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 9th International Conference, Diagrams 2016, Philadelphia, PA, USA, August 7-10, 2016 : proceedings2016 / p. 286-288 : ill http://dx.doi.org/10.1007/978-3-319-42333-3_25

New light on Peirce’s conceptions of retroduction, deduction, and scientific reasoningPietarinen, Ahti-Veikko; Bellucci, FrancescoInternational studies in the philosophy of science2014 / p. 353-373

Notational differencesBellucci, Francesco; Pietarinen, Ahti-VeikkoActa Analytica2020 / p. 289-314 https://doi.org/10.1007/s12136-020-00425-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

On assertion and denial in the logic for pragmaticsCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroJournal of applied logic2017 / p. S97-S107 : ill https://doi.org/10.1016/j.jal.2017.11.002

On linear existential graphsBellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 261 - 296 https://doi.org/10.2143/LEA.251.0.3288641 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

On pragmatic denial [Online resource]De Florio, Ciro; Carrara, Massimiliano; Chiffi, DanieleHow to say "Yes" or "No" : logical approaches to modes of assertion and denial : book of abstracts2016 / p. 10-12 https://publicatt.unicatt.it/retrieve/handle/10807/73622/114880/how_to_say__yes__or__no___logical_approaches_to_modes_of_assertion_and_denial_3.pdf

On the diagrammatic representation of existential statements with Venn diagramsMoktefi, Amirouche; Pietarinen, Ahti-VeikkoJournal of logic, language and information2015 / p. 361-374 : ill http://dx.doi.org/10.1007/s10849-015-9228-1

On the logic module in intelligent systemsMatsak, ErikaProceedings of the International Conference on Artificial Intelligence : Worldcomp'09 : July 13-16, 2009, Las-Vegas Nevada, USA2009 / p. 594-599

On the logical philosophy of assertive graphsChiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of logic, language and information2020 / 21 p https://doi.org/10.1007/s10849-020-09315-6 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

On the shoulders of giants : colourful argument trees for academic writingKruusmaa, Maarja; Moktefi, Amirouche; Tuhtan, Jeffrey AndrewDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 520-524 https://doi.org/10.1007/978-3-030-54249-8_48 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

On the social utility of symbolic logic : Lewis Carroll against 'the logicians'Moktefi, AmiroucheStudia metodologiczne2015 / p. 133-150

Organisatsioon ja juhtimine : tasakaal ja loogikaÜksvärav, RaoulVII majandusorganisatsioonide juhtimise probleemide konverents : juhtimisalase konsulteerimise teooria ja praktika : Tallinn, 17. ja 18. oktoober 1985 : konverentsi teesid = VII конференция по проблемам управления хозяйственными организациями ; теория и практика управленческого консультирования : Таллин, 17 и 18 октября 1985 г. : тезисы конференции1985 / lk. 5-18 https://www.ester.ee/record=b1692015*est

An overview of FPGA-inspired obfuscation techniquesAbideen, Zain Ul; Gokulanathan, Sumathi; Aljafar, Muayad J.; Pagliarini, Samuel NascimentoarXiv.org2023 / 30 p. : ill https://doi.org/10.48550/arXiv.2305.15999

Paradigms for automatization of logic and legal reasoningKerikmäe, Tanel; Särav, SandraLaw and logic : contemporary issues2017 / p. 205-222 http://www.ester.ee/record=b4761694*est https://doi.org/10.3790/978-3-428-55086-9

ParadoksMeos, IndrekHorisont2004 / 4, lk. 53 https://artiklid.elnet.ee/record=b1016032*est

Peirce and diagrams : two contributors to an actual discussion review each otherPietarinen, Ahti-Veikko; Stjernfelt, FrederikSynthese2015 / p. 1073-1088 http://dx.doi.org/10.1007/s11229-015-0658-8

Peirce and Husserl : mutual insights on logic, mathematics and cognition2019 https://doi.org/10.1007/978-3-030-25800-9

Peirce and the logic of imagePietarinen, Ahti-VeikkoSemiotica2012 / p. 251-261 https://www.researchgate.net/publication/271417244_Peirce_and_the_logic_of_image

Peirce e Wittgenstein su parentesi e altri segni. Un contributo alla storia della filosofia della notazione = Peirce and Wittgenstein on parentheses and other signs. A contribution to the history of the philosophy of notationBellucci, FrancescoVersus2015 / p. 121-134 http://versus.dfc.unibo.it/arc1b.php?articolo=851

Peirce on mathematical reasoning and discoveryPietarinen, Ahti-VeikkoHandbook of cognitive mathematics2021 / p. 1-32 : ill https://doi.org/10.1007/978-3-030-44982-7_51-1

Peirce on phaneroscopical analysisBellucci, FrancescoJournal Phänomenologie2015 / p. 56-72

Peirce on the justification of abductionBellucci, Francesco; Pietarinen, Ahti-VeikkoStudies in history and philosophy of science Part A2020 / p. 12−19 https://doi.org/10.1016/j.shpsa.2020.04.003 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Peirce’s continuous predicatesBellucci, FrancescoTransactions of the Charles S. Peirce Society2013 / p. 178-202

Peirce’s diagrammatic solutions to ‘Peirce’s Puzzle’Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 246–250 : ill https://doi.org/10.1007/978-3-030-86062-2_23 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Peirce's calculi for classical propositional logicMa, Minghui; Pietarinen, Ahti-VeikkoThe review of symbolic logic2020 / p. 509 - 540 https://doi.org/10.1017/S1755020318000187 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Peirce's inclusion diagrams, with application to syllogismsBhattacharjee, Reetu; Moktefi, AmiroucheDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 530-533 https://doi.org/10.1007/978-3-030-54249-8_50 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Peirce's sequent proofs of distributivityMa, Minghui; Pietarinen, Ahti-VeikkoLogic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings2017 / p. 168-182 https://doi.org/10.1007/978-3-662-54069-5_13

Peirce's speculative grammar : logic as semioticsBellucci, Francesco2017 https://www.taylorfrancis.com/books/9781315211008

PrefaceBéziau, Jean-Yves; Desclés, Jean-Pierre; Moktefi, Amirouche; Pascu, Anca ChristineLogic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)2022 / p. v-ix https://link.springer.com/content/pdf/bfm:978-3-030-94452-0/1?pdf=chapter%20toc Article collection metrics at Scopus Article at Scopus

Preface and editorialGabbay, Dov; Magnani, Lorenzo; Park, Woosuk; Pietarinen, Ahti-VeikkoNatural arguments : a tribute to John Woods2019 / p. 1-32 https://www.collegepublications.co.uk/tributes/?00040

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Psühholoogia loogiline analüüsHempel, Carl G.Akadeemia2011 / lk. 1336-1351

Representing logical inference steps with digital circuitsMatsak, ErikaHuman interface and the management of information : information and interaction2009 / p. 178-184 https://link.springer.com/chapter/10.1007/978-3-642-02559-4_20

Residuation in existential graphsHaydon, Nathan Joseph; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 229−237 https://doi.org/10.1007/978-3-030-86062-2_21 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Schopenhauer's Eulerian diagramsMoktefi, AmiroucheLanguage, logic, and mathematics in Schopenhauer2020 / p. 111-127 https://doi.org/10.1007/978-3-030-33090-3_8 Article collection metrics at Scopus Article at Scopus

Seaduse keel ja loogikaMereste, UnoÕiguskeel1997 / 4, lk. 23-27

Seaduse keel ja loogikaMereste, UnoÕiguskeel1998 / 1, lk. 33-39

Semeiotic completeness in the theory of signsPietarinen, Ahti-VeikkoSemiotica2019 / p. 237–257 https://doi.org/10.1515/sem-2018-0151 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Semiotics in mathematics and logicPietarinen, Ahti-Veikko; Stjernfelt, FrederikBloomsbury Semiotics Volume 2: Semiotics in the Natural and Technical Sciences2022 / p. 13-14 https://doi.org/10.5040/9781350139350.ch-1

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

Simplex sigillum veri : Peano, Frege, and Peirce on the primitives of logicBellucci, Francesco; Moktefi, Amirouche; Pietarinen, Ahti-VeikkoHistory and philosophy of logic2018 / p. 80-95 : ill https://doi.org/10.1080/01445340.2017.1358414 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Some logical notations for pragmatic assertionsCarrara, Massimiliano; Chiffi, Daniele; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 297-315 https://doi.org/10.2143/LEA.251.0.3288642 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Some preliminars on assertion and denialBuekens, Filip; Carrara, Massimiliano; Chiffi, Daniele; De Florio, CiroLogique et analyse2017 / p. 203-207 https://doi.org/10.2143/LEA.239.0.3237150

Soyons logiques = Let's be logical2016

Special Issue: Hintikka Memorial Issue2019 https://link.springer.com/journal/11787/13/2

Synthese. Vol. 192, 4, Special sectionon Peirce's logic and philosophy of language2015

The beauty of graphsPietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 9-12 https://doi.org/10.1007/978-3-319-91376-6_2 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

The BlotPietarinen, Ahti-Veikko; Bellucci, Francesco; Bobrova, Angelina; Haydon, Nathan Joseph; Shafiei, MohammadDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 225-238 https://doi.org/10.1007/978-3-030-54249-8_18 Conference proceedings at Scopus Article at Scopus Article at WOS Conference proceedings at WOS

The extended Gabbay-Woods schema and scientific practicesChiffi, Daniele; Pietarinen, Ahti-VeikkoNatural arguments : a tribute to John Woods2019 / p. 331–348 https://www.collegepublications.co.uk/tributes/?00040 https://www.academia.edu/38335940/The_Extended_Gabbay-Woods_Schema_and_Scientific_Practices

The logical burdens of proof : assertion and hypothesisChiffi, Daniele; Schang, FabienLogic and logical philosophy2017 / p. 509-530 : ill http://dx.doi.org/10.12775/LLP.2017.006

The making of "What the Tortoise said to Achilles" : Lewis Carroll's logical investigations towards a workable theory of hypotheticalsMoktefi, Amirouche; Abeles, Francine F.The Carrollian : the Lewis Carroll journal2016 / p. 14-47 : ill

The social shaping of modern logicMoktefi, AmiroucheNatural arguments : a tribute to John Woods2019 / p. 503-520 https://www.collegepublications.co.uk/tributes/?00040 https://www.academia.edu/38720002/The_Social_Shaping_of_Modern_Logic

Thoughts, things and logical guidanceBobrova, Angelina; Pietarinen, Ahti-VeikkoPeirce and Husserl : mutual insights on logic, mathematics and cognition2019 / p. 43-58 https://doi.org/10.1007/978-3-030-25800-9_3

To Peirce Hintikka's thoughtsPietarinen, Ahti-VeikkoLogica Universalis2019 / p. 241–262 https://doi.org/10.1007/s11787-018-0203-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

To Peirce Hintikka's Thoughts [Online resource]Pietarinen, Ahti-VeikkoHandbook of the 6th World Congress and School on Universal Logic2018 / p. 152 http://www.uni-log.org/pro2018/HANDBOOK-UNILOG2018.pdf

Truth valued computing processes and process calculus: a formalism for describing programming logicKracht, WilhelmTallinna Tehnikaülikooli Toimetised1990 / lk. 55-94: ill

A tutorial on design obfuscation : from transistors to systemsPagliarini, Samuel Nascimento2021 IEEE 22nd Latin American Test Symposium (LATS), Punta del Este, Uruguay, 27-29 October 20212021 / 3 p. : ill https://doi.org/10.1109/LATS53581.2021.9651741

Two cognitive systems, two implications, and selection tasksBobrova, Angelina; Pietarinen, Ahti-VeikkoSoftware Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers2020 / p. 195 - 205 https://doi.org/10.1007/978-3-030-57506-9_15 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at Scopus Article at WOS

Two dogmas of diagrammatic reasoning : a view from existential graphsPietarinen, Ahti-Veikko; Bellucci, FrancescoPeirce on perception and reasoning : from icons to logic2017 / p. 160-180

Two implications and dual-process theories of reasoningBobrova, Angelina; Pietarinen, Ahti-VeikkoDiagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings2020 / p. 239-243 https://doi.org/10.1007/978-3-030-54249-8_19 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Tõene või väärMeos, IndrekHorisont2005 / 6, lk. 53 https://artiklid.elnet.ee/record=b2030431*est

Varjatud eeldustest meie arutlustesMeos, IndrekHorisont2003 / 1, lk. 51 https://artiklid.elnet.ee/record=b1011521*est

We don’t know we don’t know : asserting ignoranceCarrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro; Pietarinen, Ahti-VeikkoSynthese2021 / p. 3565–3580 https://doi.org/10.1007/s11229-019-02300-y

We don't know we don't know : asserting ignoranceCarrara, Massimiliano; Chiffi, Daniele; De Florio, Ciro; Pietarinen, Ahti-VeikkoKnowing the Unknown : Philosophical Perspectives on Ignorance; Synthese2019 / 15 p https://doi.org/10.1007/s11229-019-02300-y

A Weakening of Alpha graphs : quasi-Boolean algebrasPietarinen, Ahti-Veikko; Ma, MinghuiDiagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18–22, 2018 : proceedings2018 / p. 549-564 https://doi.org/10.1007/978-3-319-91376-6_50 Conference Proceedings at Scopus Conference Proceedings at WOS Article at WOS

Web-based tool for FSM encoding targeting low-power FPGA implementationMihhailov, Dmitri; Sudnitsõn, Aleksander; Tarletski, Konstantin2010 27th International Conference on Microelectronics : MIEL 2010 : Niš, Serbia, 16-19 May 2010 : proceedings2010 / p. 349-352 https://ieeexplore.ieee.org/document/5490468

Venn diagrams with “Most”: a natural logic approachLiu, Xinwen; Pietarinen, Ahti-VeikkoDiagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings2021 / p. 264−268 : ill https://doi.org/10.1007/978-3-030-86062-2_27 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

Versus. 120, Peirceana three. Sull'iconismo = On iconism2015 http://versus.dfc.unibo.it/arc2b.php?numero=120

What makes symbolic logic "symbolic"?Moktefi, Amirouche15th Congress of Logic, Methodology and Philosophy of Science CLMPS 2015 : University of Helsinki, 3-8 August 2015 : book of abstracts2015 / p. 156-157 http://clmps.helsinki.fi/materials/CLMPS_LC_book%20of%20abstracts%2029.7.2015.pdf

"What the Tortoise said to Achilles" : Lewis Carroll's paradox of inference2016

What the Tortoise said to Achilles : a selective bibliographyImholtz, Clare; Moktefi, AmiroucheThe Carrollian : the Lewis Carroll journal2016 / p. 125-136

What the Tortoise said to Achilles : introductionAbeles, Francine F.; Moktefi, AmiroucheThe Carrollian : the Lewis Carroll journal2016 / p. 2-5

Why is the normativity of logic based on rules?Pietarinen, Ahti-VeikkoThe normative thought of Charles S. Peirce2012 / p. 172-184 https://www.researchgate.net/publication/365906369_8_Why_Is_the_Normativity_of_Logic_Based_on_Rules

Why make things simple when you can make them complicated? An appreciation of Lewis Carroll's symbolic logicMoktefi, AmiroucheLogica universalis2021 / p. 359–379 : ill https://doi.org/10.1007/s11787-021-00286-1 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Логика экономикиKoslov, Vladimir1991 https://www.ester.ee/record=b1206465*est

Логика экономики : (структурный словарь эконологики)Koslov, Vladimir1991 https://www.ester.ee/record=b1191415*est

Минимальная семантика логических программHenno, JaakII Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г. : тезисы докладов1988 / с. 231-232 https://www.ester.ee/record=b2681097*est

Об интерпретативном моделировании неисправностей в комбинационных логистических схемахViilup, Agu; Kitsnik, Peeter; Ubar, Raimund-JohannesТруды по электротехнике и автоматике : сборник статей. 111973 / с. 79-88 : илл https://www.ester.ee/record=b2190624*est https://digikogu.taltech.ee/et/Item/d6e57925-e104-44e1-a218-c5b3110d9996

По логике вещейSmoljak, LiaЛенинское знамя : орган Кохтла-Ярвеского городского и районого комитетов Компартии Эстоний, городского и районного Советов народных депутатов1989 / с. [?] https://www.ester.ee/record=b1528511*est