Otsing - TalTech teadusportaal

kuva

reasta

151

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

152

artikkel ajakirjas

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

artikkel ajakirjas

153

artikkel kogumikus

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

artikkel kogumikus

154

artikkel kogumikus EST / artikkel kogumikus 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

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

155

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

156

artikkel ajakirjas

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

artikkel ajakirjas

157

artikkel ajakirjas

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

artikkel ajakirjas

158

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

159

artikkel kogumikus

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

artikkel kogumikus

160

artikkel kogumikus

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

artikkel kogumikus

161

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

162

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

163

artikkel ajakirjas EST / artikkel ajakirjas 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

artikkel ajakirjas EST / artikkel ajakirjas ENG

164

artikkel ajakirjas

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

artikkel ajakirjas

165

raamat

Soyons logiques = Let's be logical2016

raamat

166

raamat

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

raamat

167

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

168

raamat

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

raamat

169

artikkel kogumikus EST / artikkel kogumikus 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

artikkel kogumikus EST / artikkel kogumikus ENG

170

artikkel kogumikus

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

artikkel kogumikus

171

artikkel ajakirjas EST / artikkel ajakirjas ENG

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

artikkel ajakirjas EST / artikkel ajakirjas ENG

172

artikkel ajakirjas

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

artikkel ajakirjas

173

artikkel kogumikus

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

artikkel kogumikus

174

artikkel kogumikus

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

artikkel kogumikus

175

artikkel ajakirjas EST / artikkel ajakirjas ENG

To Peirce Hintikka's thoughtsPietarinen, Ahti-VeikkoLogica Universalis2019 / p. 241–262 https://doi.org/10.1007/s11787-018-0203-x Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

loogika (märksõna)

teaviku laadid

märksõna 12