- Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.details
|
|
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
Radical interpretation.Donald Davidson - 1973 - Dialectica 27 (1):314-328.details
|
|
Radical Interpretation.Donald Davidson - 1973 - Dialectica 27 (3-4):313-328.details
|
|
Logical grounds.Fabrice Correia - 2013 - Review of Symbolic Logic (1):1-29.details
|
|
Commentary and Illocutionary Expressions in Linear Calculi of Natural Deduction.Moritz Cordes & Friedrich Reinmuth - 2017 - Logic and Logical Philosophy 26 (2).details
|
|
Aristotle on the Principle of Non-Contradiction.S. Marc Cohen - 1986 - Canadian Journal of Philosophy 16 (3):359-370.details
|
|
A modal theorem-preserving translation of a class of three-valued logics of incomplete information.D. Ciucci & D. Dubois - 2013 - Journal of Applied Non-Classical Logics 23 (4):321-352.details
|
|
Turing A. M.. On computable numbers, with an application to the Entscheidungs problcm. Proceedings of the London Mathematical Society, 2 s. vol. 42 , pp. 230–265. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):42-43.details
|
|
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.details
|
|
Existence and Description in Formal Logic.Alonzo Church, Dana Scott & Ralph Schoenman - 1973 - Journal of Symbolic Logic 38 (1):166.details
|
|
The semantic paradoxes: A diagnostic investigation.Charles Chihara - 1979 - Philosophical Review 88 (4):590-618.details
|
|
The Semantic Paradoxes: A Diagnostic Investigation.Charles Chihara & Tyler Burge - 1984 - Journal of Symbolic Logic 49 (3):995-996.details
|
|
Graded consequence: further studies.M. K. Chakraborty - 1995 - Journal of Applied Non-Classical Logics 5 (2):227-238.details
|
|
An epistemic approach to paraconsistency: a logic of evidence and truth.Walter Carnielli & Abilio Rodrigues - 2019 - Synthese 196 (9):3789-3813.details
|
|
On the evaluation of argumentation formalisms.Martin Caminada & Leila Amgoud - 2007 - Artificial Intelligence 171 (5-6):286-310.details
|
|
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.details
|
|
Explication as a Method of Conceptual Re-engineering.Georg Brun - 2016 - Erkenntnis 81 (6):1211-1241.details
|
|
Chunk and permeate, a paraconsistent inference strategy. Part I: The infinitesimal calculus.Bryson Brown & Graham Priest - 2004 - Journal of Philosophical Logic 33 (4):379-388.details
|
|
The Rules of Logic Composition for the Bayesian Epistemic e-Values.Wagner Borges & Julio Michael Stern - 2007 - Logic Journal of the IGPL 15 (5-6):401-420.details
|
|
O terminach modalnych.Ludwik Borkowski - 1958 - Studia Logica 7 (1):7 - 41.details
|
|
Deductive foundation and analytic propositions.Ludwik Borkowski - 1966 - Studia Logica 19 (1):59 - 74.details
|
|
Which Logic for the Radical Anti-Realist ?Denis Bonnay & Mikaël Cozic - unknowndetails
|
|
A Duality for Involutive Bisemilattices.Stefano Bonzio, Andrea Loi & Luisa Peruzzi - 2019 - Studia Logica 107 (2):423-444.details
|
|
Logic and Religion.Jean-Yves Beziau & Ricardo Silvestre - 2017 - Logica Universalis 11 (1):1-12.details
|
|
Trivializing sentences and the promise of semantic completeness.J. Beall - 2015 - Analysis 75 (4):573-584.details
|
|
Categoricity Spectra for Polymodal Algebras.Nikolay Bazhenov - 2016 - Studia Logica 104 (6):1083-1097.details
|
|
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.details
|
|
The law of contradiction.Jonathan Barnes - 1969 - Philosophical Quarterly 19 (77):302-309.details
|
|
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.details
|
|
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.details
|
|
Expansion of a model of a weakly o-minimal theory by a family of unary predicates.Bektur Sembiuly Baizhanov - 2001 - Journal of Symbolic Logic 66 (3):1382-1414.details
|
|
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.details
|
|
Rough Sets and 3-Valued Logics.A. Avron & B. Konikowska - 2008 - Studia Logica 90 (1):69-92.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
A constructive analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.details
|
|
Sequent-based logical argumentation.Ofer Arieli & Christian Straßer - 2015 - Argument and Computation 6 (1):73-99.details
|
|
Revised foundations for imperative-epistemic and interrogative logic.Lennart Aqvist - 1971 - Theoria 37 (1):33-73.details
|
|
On a family of paradoxes.Arthur Prior - 1960 - Notre Dame Journal of Formal Logic 2 (1):16-32.details
|
|
Tractatus 6.3751.Edwin B. Allaire - 1958 - Analysis 19 (5):100 - 105.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
The free n -generated BL-algebra.Stefano Aguzzoli & Simone Bova - 2010 - Annals of Pure and Applied Logic 161 (9):1144-1170.details
|
|
Did Clinton say something false?J. M. Saul - 2000 - Analysis 60 (3):255-257.details
|
|
Persistence and presentism.Dean W. Zimmerman - 1996 - Philosophical Papers 25 (2):115-126.details
|
|
The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 121-138.details
|
|
The Truth About Algorithmic Problems in Correspondence Theory.Alexander Chagrov & Lilia Chagrova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 121-138.details
|
|
An Arithmetization of Logical Oppositions.Fabien Schang - 2016 - In Jean-Yves Béziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Basel, Switzerland: Birkhäuser. pp. 215-237.details
|
|
On the Preservation of Reliability.Bryson Brown - 2016 - In Peter Verdée & Holger Andreas (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics. Cham, Switzerland: Springer Verlag.details
|
|