- The logic and mathematics of occasion sentences.Pieter A. M. Seuren, Venanizo Capretta & Herman Geuvers - 2001 - Linguistics and Philosophy 24 (5):531-595.details
|
|
Paraconsistent and Paracomplete Zermelo–Fraenkel Set Theory.Yurii Khomskii & Hrafn Valtýr Oddsson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Safe inductions and their applications in knowledge representation.Bart Bogaerts, Joost Vennekens & Marc Denecker - 2018 - Artificial Intelligence 259 (C):167-185.details
|
|
Sobre el anti-realismo de Wittgenstein y su aplicación al programa chomskiano.Sergio Mota - 2014 - Metatheoria – Revista de Filosofía E Historia de la Ciencia 4:35--51.details
|
|
A multiple-valued logic approach to the design and verification of hardware circuits.Amnon Rosenmann - 2016 - Journal of Applied Logic 15:69-93.details
|
|
Nouvelle solution pragmatiste du paradoxe du Menteur.Alain Séguy-Duclot - 2014 - Dialogue 53 (4):671-690.details
|
|
A propositional logic with 4 values: true, false, divergent and meaningless.Jan A. Bergstra, Inge Bethke & Piet Rodenburg - 1995 - Journal of Applied Non-Classical Logics 5 (2):199-217.details
|
|
Kleene's amazing second recursion theorem.Yiannis N. Moschovakis - 2010 - Bulletin of Symbolic Logic 16 (2):189 - 239.details
|
|
Diagonalisation and Church's Thesis: Kleene's Homework.Enrique Alonso & Maria Manzano - 2005 - History and Philosophy of Logic 26 (2):93-113.details
|
|
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.details
|
|
Computer-Aided Searching for a Tabular Many-Valued Discussive Logic—Matrices.Marcin Jukiewicz, Marek Nasieniewski, Yaroslav Petrukhin & Vasily Shangin - forthcoming - Logic Journal of the IGPL.details
|
|
Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.details
|
|
Gödel on Many-Valued Logic.Tim Lethen - 2023 - Review of Symbolic Logic 16 (3):655-671.details
|
|
Functional Completeness in CPL via Correspondence Analysis.Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin & Marcin Jukiewicz - 2019 - Bulletin of the Section of Logic 48 (1).details
|
|
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.details
|
|
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.Reiner Hähnle - 2005 - Logic Journal of the IGPL 13 (4):415-433.details
|
|
An Internal Determinacy Metatheorem for Lukasiewicz's Aussagenkalküls.Dale Jacquette - 2000 - Bulletin of the Section of Logic 29 (3):115-124.details
|
|
A syntactic characterization of Kleene's strong connectives with two designated values.John N. Martin - 1975 - Mathematical Logic Quarterly 21 (1):181-184.details
|
|
Alonzo Church.Oliver Marshall & Harry Deutsch - 2021 - Stanford Encyclopedia of Philosophy.details
|
|
A classification of low c.e. sets and the Ershov hierarchy.Marat Faizrahmanov - forthcoming - Mathematical Logic Quarterly.details
|
|
Reflexivity and self-augmentation.Kumiko Tanaka-Ishii - 2010 - Semiotica 2010 (180):1-17.details
|
|