Searching - TalTech Research Portal

display

sort

151

book article EST / book article ENG

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

book article EST / book article ENG

152

book article

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

book article

153

journal article EST / journal article ENG

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

journal article EST / journal article ENG

154

book article EST / book article ENG

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

book article EST / book article ENG

Related publications 1

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

155

journal article EST / journal article ENG

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

journal article EST / journal article ENG

156

journal article

Psühholoogia loogiline analüüsHempel, Carl G.Akadeemia2011 / lk. 1336-1351

journal article

157

journal article

Rekonfigureeritav loogikaTammemäe, KalleArvutustehnika ja Andmetöötlus1997 / 11/12, lk. 12-19

journal article

158

book article

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

book article

159

book article

Research and training environment for decomposition-based logical designSudnitsõn, AleksanderE-learning and the Knowledge Society : Communication & Cognition : Ghent, Belgium2005 / ? p

book article

160

book article EST / book article ENG

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

book article EST / book article ENG

Related publications 1

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

161

book article EST / book article ENG

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

book article EST / book article ENG

162

journal article

Seaduse keel ja loogikaMereste, UnoÕiguskeel1997 / 4, lk. 23-27

journal article

163

journal article

Seaduse keel ja loogikaMereste, UnoÕiguskeel1998 / 1, lk. 33-39

journal article

164

journal article EST / journal article ENG

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

journal article EST / journal article ENG

165

book article

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

book article

166

book article

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

book article

167

journal article EST / journal article ENG

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

journal article EST / journal article ENG

168

journal article EST / journal article ENG

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

journal article EST / journal article ENG

169

journal article EST / journal article ENG

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

journal article EST / journal article ENG

170

journal article

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

journal article

171

book

Soyons logiques = Let's be logical2016

book

172

book

Special Issue: Hintikka Memorial Issue2019 https://link.springer.com/journal/11787/13/2

book

173

book article EST / book article ENG

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

book article EST / book article ENG

174

book

Synthese. Vol. 192, 4, Special sectionon Peirce's logic and philosophy of language2015

book

175

book article EST / book article ENG

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

book article EST / book article ENG

loogika (subject term)

types of item

subject term 13