- 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
- 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
- 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 algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055
- 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 https://artiklid.elnet.ee/record=b2030403*est
- 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 Existential Graphs and the Logic of String Diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogikaHaydon, Nathan Joseph2024 https://www.ester.ee/record=b5685581*est https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f https://doi.org/10.23658/taltech.31/2024
- 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 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