- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis.Yaroslav Petrukhin & Vasilyi Shangin - forthcoming - Logic and Logical Philosophy:1.details
|
|
Automated correspondence analysis for the binary extensions of the logic of paradox.Yaroslav Petrukhin & Vasily Shangin - 2017 - Review of Symbolic Logic 10 (4):756-781.details
|
|
A Strong Model of Paraconsistent Logic.Olivier Esser - 2003 - Notre Dame Journal of Formal Logic 44 (3):149-156.details
|
|
The Class of Extensions of Nelson's Paraconsistent Logic.Sergei P. Odintsov - 2005 - Studia Logica 80 (2-3):291-320.details
|
|
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts.Meha Mishra & A. V. Ravishankar Sarma - 2022 - Bulletin of the Section of Logic 51 (2):177-195.details
|
|
On deductive bases for paraconsistent answer set semantics.N. V. Mayatskiy & S. P. Odintsov - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):131-146.details
|
|
ZF and the axiom of choice in some paraconsistent set theories.Thierry Libert - 2003 - Logic and Logical Philosophy 11:91-114.details
|
|
Literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2006 - Mathematical Logic Quarterly 52 (5):478-493.details
|
|
First order theory for literal‐paraconsistent and literal‐paracomplete matrices.Renato A. Lewin & Irene F. Mikenberg - 2010 - Mathematical Logic Quarterly 56 (4):425-433.details
|
|
Trivalent logics arising from L-models for the Lambek calculus with constants.S. L. Kuznetsov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):132-137.details
|
|
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.details
|
|
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.details
|
|
Paraconsistent and Paracomplete Zermelo–Fraenkel Set Theory.Yurii Khomskii & Hrafn Valtýr Oddsson - forthcoming - Review of Symbolic Logic:1-31.details
|
|
Bochvar's Three-Valued Logic and Literal Paralogics: Their Lattice and Functional Equivalence.Alexander Karpenko & Natalya Tomova - 2017 - Logic and Logical Philosophy 26 (2):207-235.details
|
|
Second-Order Logic of Paradox.Allen P. Hazen & Francis Jeffry Pelletier - 2018 - Notre Dame Journal of Formal Logic 59 (4):547-558.details
|
|
Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond.George Gargov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):195-283.details
|
|
Brief study of G'3 logic.Mauricio Osorio Galindo & José Luis Carballido Carranza - 2008 - Journal of Applied Non-Classical Logics 18 (4):475-499.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Logical Nihilism and the Logic of ‘prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.details
|
|
Negation and Paraconsistent Logics.Soma Dutta & Mihir K. Chakraborty - 2011 - Logica Universalis 5 (1):165-176.details
|
|
Connexive logic.Heinrich Wansing - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
How to be an expressivist about truth.Mark Schroeder - 2010 - In Cory D. Wright & Nikolaj Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan. pp. 282--298.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
Towards a Logic of Epistemic Theory of Measurement.Daniele Porello & Claudio Macolo - 2019 - In Gabor Bella & Paolo Bouquet (eds.), Modeling and Using Context - 11th International and Interdisciplinary Conference, {CONTEXT} 2019, Trento, Italy, November 20-22, 2019, Proceedings. Lecture Notes in Computer Science 11939. pp. 175-188.details
|
|
LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.details
|
|
A sequent calculus for Lukasiewicz's three-valued logic based on Suszko's bivalent semantics.Jean-Yves Béziau - 1999 - Bulletin of the Section of Logic 28 (2):89-97.details
|
|