Otsing - TalTech teadusportaal

kuva

reasta

1

artikkel kogumikus

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

artikkel kogumikus

2

artikkel ajakirjas

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

artikkel ajakirjas

3

artikkel ajakirjas

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

artikkel ajakirjas

4

artikkel kogumikus

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

artikkel kogumikus

5

artikkel ajakirjas

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

artikkel ajakirjas

6

artikkel kogumikus

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

artikkel kogumikus

7

artikkel ajakirjas

Abduction and diagramsPietarinen, Ahti-VeikkoLogic journal of the IGPL2020 / p. 447–468 https://doi.org/10.1093/jigpal/jzz034

artikkel ajakirjas

8

artikkel ajakirjas

Abductive inference within a pragmatic frameworkChiffi, Daniele; Pietarinen, Ahti-VeikkoSynthese2020 / p. 2507–2523 https://doi.org/10.1007/s11229-018-1824-6

artikkel ajakirjas

9

artikkel ajakirjas

Abstraction and generalization in the logic of science : cases from nineteenth-century cientific 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

artikkel ajakirjas

10

artikkel ajakirjas

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

artikkel ajakirjas

11

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

12

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

13

artikkel ajakirjas

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

artikkel ajakirjas

14

artikkel ajakirjas

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

artikkel ajakirjas

15

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

16

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

17

artikkel kogumikus

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

artikkel kogumikus

18

artikkel ajakirjas

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

artikkel ajakirjas

19

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

20

artikkel kogumikus

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

artikkel kogumikus

21

artikkel ajakirjas

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

artikkel ajakirjas

22

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

23

artikkel ajakirjas

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

artikkel ajakirjas

24

artikkel kogumikus

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

artikkel kogumikus

25

artikkel ajakirjas

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

artikkel ajakirjas

loogika (märksõna)

teaviku laadid