Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

2

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

3

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

4

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

5

artikkel kogumikus

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

artikkel kogumikus

6

artikkel ajakirjas

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/

artikkel ajakirjas

7

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

8

artikkel kogumikus

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

artikkel kogumikus

9

artikkel ajakirjas

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

artikkel ajakirjas

10

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

11

artikkel ajakirjas

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

artikkel ajakirjas

12

artikkel ajakirjas

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

artikkel ajakirjas

13

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

14

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

15

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

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

16

artikkel kogumikus

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

artikkel kogumikus

17

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

18

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

19

artikkel kogumikus

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

artikkel kogumikus

20

artikkel ajakirjas

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

artikkel ajakirjas

21

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

22

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

23

artikkel kogumikus

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

artikkel kogumikus

24

artikkel kogumikus EST / artikkel kogumikus ENG

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

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 2

25

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

loogika (märksõna)

teaviku laadid

märksõna 12