Searching - TalTech Research Portal

display

sort

26

book article EST / book article ENG

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

book article EST / book article ENG

27

journal article

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

journal article

28

journal article EST / journal article ENG

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

journal article EST / journal article ENG

29

book article EST / book article ENG

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

book article EST / book article ENG

30

journal article EST / journal article ENG

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

journal article EST / journal article ENG

31

journal article

Craig Interpolation for a Semi-Substructural LogicVeltri, Niccolo; Wan, Cheng-SyuanStudia logica2025 / 39 p https://doi.org/10.1007/s11225-025-10189-7

journal article

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

32

book article

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

book article

33

book article

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

book article

34

book article

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

book article

Related publications 1

Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika

35

journal article

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

journal article

36

journal article

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

journal article

37

book

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

book

38

book article

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

book article

39

book article

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

book article

40

book article

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

book article

41

book article

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

book article

42

book article

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

book article

43

journal article

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

journal article

44

journal article

Ei ole võimalik?Meos, IndrekHorisont2005 / 4, lk. 53 https://artiklid.elnet.ee/record=b2030403*est

journal article

45

book article

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

book article

46

book article EST / book article ENG

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

book article EST / book article ENG

47

journal article EST / journal article ENG

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

journal article EST / journal article ENG

48

journal article EST / journal article ENG

Exploring the beta quadrantPietarinen, Ahti-VeikkoSynthese2015 / p. 941-970 : ill https://doi.org/10.1007/s11229-015-0677-5 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

49

journal article EST / journal article ENG

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

journal article EST / journal article ENG

50

book article EST / book article ENG

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

book article EST / book article ENG

loogika (subject term)

types of item

subject term 13