• Abduction and diagramsPietarinen, Ahti-VeikkoLogic journal of the IGPL2020 / p. 447-468 https://doi.org/10.1093/jigpal/jzz034 https://www.scopus.com/sourceid/5000154601 https://www.scopus.com/record/display.uri?eid=2-s2.0-85126949687&origin=inward&txGid=bef89df6b74dffd8b63219c533264a21 https://jcr.clarivate.com/jcr-jp/journal-profile?app=jcr&referrer=target%3Dhttps:%2F%2Fjcr.clarivate.com%2Fjcr-jp%2Fjournal-profile%3Fjournal%3DSYNTHESE%26year%3D2022&Init=Yes&journal=SYNTHESE&authCode=null&year=2020&SrcApp=IC2LS https://www.webofscience.com/wos/woscc/full-record/WOS:000734403000004
• Abductive inference within a pragmatic frameworkChiffi, Daniele; Pietarinen, Ahti-VeikkoSynthese2020 / p. 2507-2523 https://doi.org/10.1007/s11229-018-1824-6 https://www.scopus.com/sourceid/27699 https://www.scopus.com/record/display.uri?eid=2-s2.0-85047912530&origin=inward&txGid=bb3f4b827b916dd5b56759f51c6fff0b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SYNTHESE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000540033200013
• 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 https://www.scopus.com/sourceid/21100864742 https://www.scopus.com/record/display.uri?eid=2-s2.0-85106750921&origin=inward&txGid=19b7ad8b666e107aa9263e8ddca21ceb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=HOPOS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000644567800001
• Active inference and abductionPietarinen, Ahti-Veikko; Beni, Majid D.Biosemiotics2021 / p. 499–517 https://doi.org/10.1007/s12304-021-09432-0 https://www.scopus.com/sourceid/14200154737 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105849619&origin=inward&txGid=846bad5f2c6cc0b5b3ec650dc70ad302 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BIOSEMIOTICS-NETH&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000650092300001
• 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 https://www.scopus.com/sourceid/27699 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105423333&origin=inward&txGid=14a0e0a5fcdde1bc21aca931b955ef7d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SYNTHESE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000644764800001
• 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 https://www.scopus.com/sourceid/24779 https://www.scopus.com/record/display.uri?eid=2-s2.0-85011556547&origin=inward&txGid=c44285dd4ef1188232d4e810e336cf1c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000419419900001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048604194&origin=inward&txGid=a18651fec69de46b852d4d1f11125c4b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000051
• Assertive graphsBellucci, Francesco; Chiffi, Daniele; Pietarinen, Ahti-VeikkoJournal of applied non-classical logics2018 / p. 72–91 https://doi.org/10.1080/11663081.2017.1418101 https://www.scopus.com/sourceid/21100205762 https://www.scopus.com/record/display.uri?eid=2-s2.0-85041628393&origin=inward&txGid=058680a38d5849d0416e56c73c45f7f5
• 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 : ill https://doi.org/10.1007/978-3-030-54249-8_18 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090036559&origin=inward&txGid=94da968ad253a40905c8a32ac4606210 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500018
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85142921468&origin=inward&txGid=e70c761326d96e00dcec3368204dfe1c https://www.webofscience.com/wos/woscc/full-record/WOS:001048986300006
• Charles S. Peirce and the medieval doctrine of consequentiaeBellucci, FrancescoHistory and philosophy of logic2016 / p. 244-268 https://doi.org/10.1080/01445340.2015.1118338 https://www.scopus.com/sourceid/4700152837 https://www.scopus.com/record/display.uri?eid=2-s2.0-84951870226&origin=inward&txGid=44f3f5eb07ae1e87447afed6f5089faf https://jcr.clarivate.com/jcr-jp/journal-profile?journal=HIST%20PHILOS%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000382086800003
• 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 https://www.researchgate.net/publication/272264511_Christine_Ladd-Franklin%27s_and_Victoria_Welby%27s_correspondence_with_Charles_Peirce
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85117482051&origin=inward&txGid=26701c4376c40303ee23cb27b193b556 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000876648000012
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85114396355&origin=inward&txGid=6bbcedf06f7ea01f97b557e59f46f476 https://www.webofscience.com/wos/woscc/full-record/WOS:000582228200013
• 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 https://www.scopus.com/record/display.uri?eid=2-s2.0-85102652968&origin=resultslist&sort=plf-f&src=s&sid=3b42bc15325c13282d3a40f32ea9fcd1&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22combining+json-ld%22%29&sl=34&sessionSearchId=3b42bc15325c13282d3a40f32ea9fcd1 https://www.webofscience.com/wos/woscc/full-record/WOS:000668692000046
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090039526&origin=inward&txGid=6fc319eb47570a543b9192dc1b5057fb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500032
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85147333445&origin=inward&txGid=0a744f0eddab1995132050a08ff1c6c6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000924021300002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112266351&origin=inward&txGid=32325353469a1a301980b7dab39eecff https://www.webofscience.com/wos/woscc/full-record/WOS:000693448800029
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105276320&origin=inward&txGid=4bb9fffc1179ed99e1a594a36418aceb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000658731000009
• 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, 20132013 / p. 31-35 : ill https://ceur-ws.org/Vol-1132/paper5.pdf https://www.scopus.com/sourceid/21100218356 https://www.scopus.com/record/display.uri?eid=2-s2.0-84908293668&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=cl&cluster=scoprefnameauid%2C%22Pietarinen%2C+A.V.%236602371595%22%2Ct&s=AUTH%28%22Bellucci%2C+F.%22%29&sessionSearchId=44f84a2550abe92417e403969f4cb48d
• 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 https://www.scopus.com/sourceid/145095 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084752575&origin=inward&txGid=249a60815c28e6398f8a7ca4cc6eba8d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20LANG%20INFORM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000533451200001
• Craig Interpolation for a Semi-Substructural LogicVeltri, Niccolo; Wan, Cheng-SyuanStudia logica2025 / 39 p https://doi.org/10.1007/s11225-025-10189-7
• 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
• 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
• Diagrammatic algebra of first order logicBonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaLICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science2024 / art. 16, p. 1-15 : ill https://doi.org/10.1145/3661814.3662078
• Diagrammatic algebra of first order logic : [preprint]Bonchi, 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048630030&origin=inward&txGid=ed7e6fe06fd94168aaf2ecd585ef8dea https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000034
• 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 https://www.scopus.com/sourceid/19800188078 https://www.scopus.com/record/display.uri?eid=2-s2.0-84959213331&origin=inward&txGid=7e38f462141f84a416bc57c044548ed2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=REV%20SYMB%20LOGIC&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000384117100001
• Exploring the beta quadrantPietarinen, Ahti-VeikkoSynthese2015 / p. 941-970 : ill https://doi.org/10.1007/s11229-015-0677-5 https://www.scopus.com/sourceid/27699 https://www.scopus.com/record/display.uri?eid=2-s2.0-84940003591&origin=inward&txGid=4dd9d827d24f6843f1357a3354a52923 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SYNTHESE&year=2015 https://www.webofscience.com/wos/woscc/full-record/WOS:000354206400004
• Extending and applying a logic for pragmaticsCarrara, Massimiliano; Chiffi, Daniele; De Florio, CiroLogique et analyse2017 / p. 227-244 https://doi.org/10.2143/LEA.239.0.3237152 https://www.scopus.com/sourceid/5800167966 https://www.scopus.com/record/display.uri?eid=2-s2.0-85030778360&origin=inward&txGid=acbfe405192df223d3223c1cb8b4e2ec https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20ANAL&year=2020 https://www.webofscience.com/wos/woscc/full-record/WOS:000410872000003
• 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 https://doi.org/10.1007/978-3-319-42333-3_11 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979587679&origin=inward&txGid=fed35b25e4e30cc917dca2082677074d https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389720300011
• 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/
• Finite model building : improvements and comparisonsTammet, TanelProceedings of the CADE-19 workshop "Model Computation - Principles, Algorithms, Applications" : Miami, FL, USA, 20032003 / p. 81-90 https://www.researchgate.net/publication/244104344_Finite_model_building_improvements_and_comparisons
• 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 https://doi.org/10.2979/trancharpeirsoc.52.4.02 https://www.scopus.com/sourceid/14000155926 https://www.scopus.com/record/display.uri?eid=2-s2.0-85015331801&origin=inward&txGid=77e543210299a13f21e9bf7d3b352514 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=T%20C%20S%20PEIRCE%20SOC&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000396961100002
• Gamma graph calculi for modal logicsMa, Minghui; Pietarinen, Ahti-VeikkoSynthese2018 / p. 3621–3650 : ill https://doi.org/10.1007/s11229-017-1390-3 https://www.scopus.com/sourceid/27699 https://www.scopus.com/record/display.uri?eid=2-s2.0-85017091471&origin=inward&txGid=d66d70d9763514ebcc27d57f6332aee7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SYNTHESE&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000439480200016
• 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 https://www.scopus.com/sourceid/5800167966 https://www.scopus.com/record/display.uri?eid=2-s2.0-85066258215&origin=inward&txGid=f09760be9343056532d1745827a37d2c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20ANAL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000462555300004
• 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 https://www.scopus.com/sourceid/21100813759 https://www.scopus.com/record/display.uri?eid=2-s2.0-85019752787&origin=inward&txGid=3c7ab9259f4208ea2a9a703546e9af6f https://www.webofscience.com/wos/woscc/full-record/WOS:000399020900016
• 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 https://www.scopus.com/sourceid/6400153123 https://www.scopus.com/record/display.uri?eid=2-s2.0-85065330641&origin=inward&txGid=e0668eeae149a6748160b2400ae42cd7 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20UNIVERSALIS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000483694800001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090051228&origin=inward&txGid=9a025602ed5525160c35138c727814eb https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500046
• How linear are Englebretsen’s line diagrams?Moktefi, AmiroucheNew Directions in Term Logic2024 / p. 357-384 https://www.collegepublications.co.uk/logic/?00054
• 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
• Hybrid BIST time minimization for core-based systems with STUMPS architectureJervan, Gert; Eles, Petru; Peng, Zebo; Ubar, Raimund-Johannes; Jenihhin, Maksim18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems : 3-5 November 2003, Boston, Massachusetts : proceedings2003 / p. 225-232 : ill https://ieeexplore.ieee.org/document/1250116
• 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 https://www.scopus.com/sourceid/4700152837 https://www.scopus.com/record/display.uri?eid=2-s2.0-85031130112&origin=inward&txGid=f94855641ae18e32ac5e5baf7ade2ba6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=HIST%20PHILOS%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000425770000001
• Is ethical normativity similar to logical normativity?Gustafsson, Juuso-Ville; Pietarinen, Ahti-VeikkoConsensus on Peirce’s Concept of Habit: Before and Beyond Consciousness2016 / p. 123 - 142 https://doi.org/10.1007/978-3-319-45920-2_8 https://www.scopus.com/sourceid/21100813759 https://www.scopus.com/record/display.uri?eid=2-s2.0-84992555527&origin=resultslist&sort=plf-f&src=s&sid=9e20c12559a378c4f5ae87ccea863399&sot=b&sdt=b&s=DOI%2810.1007%2F978-3-319-45920-2_8%29&sl=139&sessionSearchId=9e20c12559a378c4f5ae87ccea863399&relpos=0 https://www.webofscience.com/wos/woscc/full-record/WOS:000399020900009
• 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
• Large-scale commonsense knowledge for default logic reasoningJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkSN Computer Science2023 / art. 550 https://doi.org/10.1007/s42979-023-01963-2 https://www.scopus.com/sourceid/21101083109 https://www.scopus.com/record/display.uri?eid=2-s2.0-85175113560&origin=resultslist&sort=plf-f&src=s&sid=b809bd4cf0195b89d03fdce880010424&sot=b&sdt=b&s=TITLE%28%22Large-Scale+Commonsense+Knowledge+for+Default+Logic+Reasoning%22%29&sl=111&sessionSearchId=b809bd4cf0195b89d03fdce880010424&relpos=0
• Leibniz and the Calculus NotationMüürsepp, PeeterXXXI Baltic Conference on the History and Philosophy of Science : Scientific Instruments in History and Philosophy of Science, Technology and Medicine : Abstracts2024 / p. 15-16 https://www.bahps.org/index.htm
• 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 https://www.scopus.com/sourceid/4700152621 https://www.scopus.com/record/display.uri?eid=2-s2.0-85040787592&origin=inward&txGid=b897f6662cf53cc98b58435da6c3d89a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20PHILOS%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000450016600001
• 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 https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146597643&origin=inward&txGid=ac4e1ebd27b9a7a9600f0f17cfc522f3
• 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 https://www.scopus.com/sourceid/4700152837 https://www.scopus.com/record/display.uri?eid=2-s2.0-85045973058&origin=inward&txGid=30f10472e95d65f4700cca9fd29a9f28 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=HIST%20PHILOS%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000430848600007
• 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 https://doi.org/10.2979/trancharpeirsoc.50.4.523 https://www.scopus.com/sourceid/14000155926 https://www.scopus.com/record/display.uri?eid=2-s2.0-84930250152&origin=inward&txGid=41cbd2f375157ec3fbe4a8463b1fc33c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=T%20C%20S%20PEIRCE%20SOC&year=2020 https://www.webofscience.com/wos/woscc/full-record/WOS:000354488600004
• 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 https://doi.org/10.1353/jhi.2015.0007 https://www.scopus.com/sourceid/15732 https://www.scopus.com/record/display.uri?eid=2-s2.0-84921900682&origin=inward&txGid=2ad00c23173fa8d9da94e17950249c7a https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20HIST%20IDEAS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000361590500004
• Logical and linguistic games from Peirce to Grice to HintikkaPietarinen, Ahti-VeikkoTeorema2014 / p. 121-136 https://www.jstor.org/stable/43047612?seq=1 https://www.scopus.com/sourceid/19600157795 https://www.scopus.com/record/display.uri?eid=2-s2.0-84994069131&origin=inward&txGid=bb87608bc03f7948753dd5ded246fcdc https://www.webofscience.com/wos/woscc/full-record/WOS:000343793200009
• 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 https://www.scopus.com/sourceid/24779 https://www.scopus.com/record/display.uri?eid=2-s2.0-85038882731&origin=inward&txGid=be706de004425b92535af3d14243de1e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000423246400001
• Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein2002 https://www.ester.ee/record=b1689701*est
• Loogika : mõtlemisest tõestamiseniTamme, Tõnu; Tammet, Tanel; Prank, Rein1997 https://www.ester.ee/record=b1053345*est
• Loogika 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, Vladimir1990 https://www.ester.ee/record=b1205579*est
• Majanduse loogika : (ökonoloogika struktuurne mõisteaparaat)Koslov, Vladimir1991 http://www.ester.ee/record=b1251188*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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048599193&origin=inward&txGid=cd3d6650a504c8f05533a3f1c23b51db https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000067
• 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 https://www.scopus.com/sourceid/21100244929 https://www.scopus.com/record/display.uri?eid=2-s2.0-85068045398&origin=inward&txGid=d6e07206c224cb13ed521680b7153e70
• 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 https://www.scopus.com/sourceid/19700175752 https://www.scopus.com/record/display.uri?eid=2-s2.0-85174229571&origin=inward&txGid=6d89c61a12c25efc210fc1c1a18d8c5c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001083845100001
• 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.4204/EPTCS.380.16 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169440941&origin=inward&txGid=7857f291e697d23757c0161e9e5d4c23 https://www.webofscience.com/wos/woscc/full-record/WOS:001048400000016
• 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 https://doi.org/10.1080/09608788.2015.1045445 https://www.scopus.com/sourceid/6500153189 https://www.scopus.com/record/display.uri?eid=2-s2.0-84942985390&origin=inward&txGid=55bdccfa2094dc78c569ca05b84fa0b1 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=BRIT%20J%20HIST%20PHILOS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000361969300005
• 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 https://doi.org/10.1007/978-3-319-42333-3_25 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-84979537084&origin=inward&txGid=ceaea5c1e4860a38dfd29cb8e51fa87c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000389720300025
• 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 https://doi.org/10.1080/02698595.2014.979667 https://www.scopus.com/sourceid/6500153210 https://www.scopus.com/record/display.uri?eid=2-s2.0-84924808561&origin=inward&txGid=bd3d4ffe0623d78c0d3c5c31e28451f3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=INT%20STUD%20PHILOS%20SCI&year=2020 https://www.webofscience.com/wos/woscc/full-record/WOS:000348843200001
• Notational differencesBellucci, Francesco; Pietarinen, Ahti-VeikkoActa Analytica2020 / p. 289-314 https://doi.org/10.1007/s12136-020-00425-1 https://www.scopus.com/sourceid/19400158711 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084366365&origin=inward&txGid=9085d3d342ad7a81e29d2b88fc11212e https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACTA%20ANAL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000531215500001
• 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 https://www.scopus.com/sourceid/24779 https://www.scopus.com/record/display.uri?eid=2-s2.0-85036654296&origin=inward&txGid=10da4c24617c600112e7863643058795 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20APPL%20LOGIC&year=2016 https://www.webofscience.com/wos/woscc/full-record/WOS:000423246400006
• On efficient logic-level simulation of digital circuits represented by the SSBDD modelJutman, Artur; Raik, Jaan; Ubar, Raimund-Johannes23rd International Conference on Microelectronics : MIEL 2002, Niš, Yugoslavia, 12-15 May 2002 : proceedings. Volume 22002 / p. 621-624 : ill https://ieeexplore.ieee.org/document/1003334
• On linear existential graphsBellucci, Francesco; Liu, Xinwen; Pietarinen, Ahti-VeikkoLogique et Analyse2020 / p. 261 - 296 https://doi.org/10.2143/LEA.251.0.3288641 https://www.scopus.com/sourceid/5800167966 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105376679&origin=resultslist&sort=plf-f&src=s&sid=8c3b1b91a5fc5281bc4fd3c851327aaa&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22on+linear+existential%22%29&sl=38&sessionSearchId=8c3b1b91a5fc5281bc4fd3c851327aaa&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20ANAL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000585703600003
• 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 https://doi.org/10.1007/s10849-015-9228-1 https://www.scopus.com/sourceid/145095 https://www.scopus.com/record/display.uri?eid=2-s2.0-84948110577&origin=inward&txGid=08ad332844eb22e3ce9d52f6959d63a4
• 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 https://www.scopus.com/sourceid/145095 https://www.scopus.com/record/display.uri?eid=2-s2.0-85084046484&origin=inward&txGid=920993e747e4662c40a1b40464e4c574 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20LANG%20INFORM&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000527468900001
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090043792&origin=inward&txGid=13ccf4535431aa6115a53fbd5f1ac4b2 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500048
• On the social utility of symbolic logic : Lewis Carroll against 'the logicians'Moktefi, AmiroucheStudia metodologiczne2015 / p. 133-150
• Optimized encodings of fragments of type theory in first-order logicTammet, Tanel; Smith, Jan M.Journal of logic and computation1998 / 6, p. 713-744 https://www.cse.chalmers.se/~smith/autolncs.pdf
• 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 https://www.scopus.com/sourceid/11600154632 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091101585&origin=inward&txGid=11ea728044bcf54b7168025825565efb https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20HIST%20PHILOS%20SCI&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000591503900002
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115877007&origin=inward&txGid=413d4b1dcd757c550874fe45cbaf13df https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600023
• 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 https://www.scopus.com/sourceid/19800188078 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051701593&origin=inward&txGid=34c14f3bdac1edbd87754fdcb228892f https://jcr.clarivate.com/jcr-jp/journal-profile?journal=REV%20SYMB%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000556822700004
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090038666&origin=inward&txGid=ebe5a110fd1c2bfab181293cbda31630 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500050
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85009818542&origin=inward&txGid=41e571b3ee346514d35cb170cb79338d https://www.webofscience.com/wos/woscc/full-record/WOS:000405784700013
• 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 https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85146605227&origin=inward&txGid=f54298a0637177c5ce61b34204261d66
• 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 https://www.scopus.com/sourceid/144951 https://www.scopus.com/record/display.uri?eid=2-s2.0-85006387005&origin=inward&txGid=4bd3baf46af92218b70cc2e4ed091c56 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000401436800008
• 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 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85130481250&origin=inward&txGid=fbbef2e423b94d54ce0cf93c3c6a0b2c https://www.webofscience.com/wos/woscc/full-record/WOS:001045096000009
• 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 https://www.scopus.com/sourceid/25620 https://www.scopus.com/record/display.uri?eid=2-s2.0-85052635835&origin=inward&txGid=88591c09dd53528010ccdabe71fa309b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOGIC%20COMPUT&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000454114000001
• Psühholoogia loogiline analüüsHempel, Carl G.Akadeemia2011 / lk. 1336-1351
• Rekonfigureeritav loogikaTammemäe, KalleArvutustehnika ja Andmetöötlus1997 / 11/12, lk. 12-19
• 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
• Research and training environment for decomposition-based logical designSudnitsõn, AleksanderE-learning and the Knowledge Society : Communication & Cognition : Ghent, Belgium2005 / ? p
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115852693&origin=inward&txGid=8917cb489f7957f60b5298beeb9d0059 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600021
• Schopenhauer's Eulerian diagramsMoktefi, AmiroucheLanguage, logic, and mathematics in Schopenhauer2020 / p. 111-127 https://doi.org/10.1007/978-3-030-33090-3_8 https://www.scopus.com/sourceid/21101044952 https://www.scopus.com/record/display.uri?eid=2-s2.0-85105658641&origin=inward&txGid=7529093911a7c03934448173ead308ec
• 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 https://www.scopus.com/sourceid/5700153989 https://www.scopus.com/record/display.uri?eid=2-s2.0-85064381427&origin=inward&txGid=0b55f2f52fc865fa40d7f343e5f78243 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SEMIOTICA&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000466838700014
• 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 https://www.scopus.com/sourceid/20569 https://www.scopus.com/record/display.uri?eid=2-s2.0-85058062732&origin=inward&txGid=a098673aae50e82c85aea4122a0b82ac https://www.webofscience.com/wos/woscc/full-record/WOS:000452898800017
• 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 https://www.scopus.com/sourceid/4700152837 https://www.scopus.com/record/display.uri?eid=2-s2.0-85028757643&origin=inward&txGid=351245627562f23ef149ae55f662ba66 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=HIST%20PHILOS%20LOGIC&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000425770000005
• 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 https://www.scopus.com/sourceid/5800167966 https://www.scopus.com/record/display.uri?eid=2-s2.0-85109454325&origin=resultslist&sort=plf-f&src=s&sid=1b8c3f81c9c047b81ba5f8d095d8cf46&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22some+logical+notations+for+%22%29&sl=68&sessionSearchId=1b8c3f81c9c047b81ba5f8d095d8cf46&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20ANAL&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000585703600004
• 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
• Specification and verification of a linear-time temporal logic for graph transformationGadducci, Fabio; Laretto, Andrea; Trotta, DavideGraph transformation, 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 : Proceedings2023 / p. 22-42 : ill https://doi.org/10.1007/978-3-031-36709-0_2 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85169055503&origin=inward&txGid=d01bf8688497e36023144cc6082c2fda
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85048639723&origin=inward&txGid=a8995e2d2997b408f91a151916b73bbd https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000002
• 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 https://doi.org/10.12775/LLP.2017.006 https://www.scopus.com/sourceid/21100204110 https://www.scopus.com/record/display.uri?eid=2-s2.0-85019766483&origin=inward&txGid=3f3946042dc38a8c7640134863d0e517
• 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 prototype of system for discovering of inference rulesMatsak, ErikaProceedings of the 2007 International Conference on Artificial Intelligence : Las Vegas, Nevada, 25-28 June. 22007 / p. 489-492
• 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 https://www.scopus.com/sourceid/6400153123 https://www.scopus.com/record/display.uri?eid=2-s2.0-85051711259&origin=inward&txGid=7b6cbaecf688419d09d2a5bda5f4cfbe https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20UNIVERSALIS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000483694800009
• 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
• Towards efficient subsumptionTammet, TanelAutomated Deduction - CADE 15 : proceedings : 15th International Conference on Automated Deduction : Lindau, Germany, July 5-10, 19981998 / p. 427-441 https://link.springer.com/chapter/10.1007/BFb0054276
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85091556631&origin=resultslist&sort=plf-f&src=s&sid=182e267e9539a7f7eabf6df38f03f8ef&sot=b&sdt=cl&s=TITLE-ABS-KEY%28%22two+cognitive+systems%22%29&sl=38&sessionSearchId=182e267e9539a7f7eabf6df38f03f8ef&relpos=3 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000722454600015
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85090045005&origin=inward&txGid=393f2a917a23bc6ab237a63a419d2fd6 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711951500019
• 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 https://www.scopus.com/sourceid/25674 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000452453000050
• 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 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85115827061&origin=inward&txGid=8349411570837e4663371786cb68911c https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005 https://www.webofscience.com/wos/woscc/full-record/WOS:000711901600027
• 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 https://www.scopus.com/sourceid/6400153123 https://www.scopus.com/record/display.uri?eid=2-s2.0-85112401560&origin=inward&txGid=aed28a39f11f8966cb29e22c2642441b https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20UNIVERSALIS&year=2022 https://www.webofscience.com/wos/woscc/full-record/WOS:000683212400001
• Логика экономики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
• Не в ладах с логикойNossovitš, ViktorСоветская Эстония : орган ЦК Компартии Эстонии, Верховного Совета и Совета Министров Эстонской ССР1982 / с. [?] https://www.ester.ee/record=b1447330*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