- A Note on Matrices for Systems of Nonsense-Logics.Katarzyna HaŁkowska - 1989 - Studia Logica 48 (4):461-464.details
|
|
Natural Deduction for Three-Valued Regular Logics.Yaroslav Petrukhin - 2017 - Logic and Logical Philosophy 26 (2):197–206.details
|
|
Natural Deduction for Four-Valued both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.details
|
|
Some remarks on three-valued logic of J. Łukasiewicz.J. Slupecki - 1967 - Studia Logica 21:45.details
|
|
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.details
|
|
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.details
|
|
Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.details
|
|
Some remarks on three-valued logic of J. łukasiewicz.J. Słupecki, G. Bryll & T. Prucnal - 1967 - Studia Logica 21 (1):45 - 70.details
|
|
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.details
|
|
The Fmla-Fmla Axiomatizations of the Exactly True and Non-falsity Logics and Some of Their Cousins.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2019 - Journal of Philosophical Logic 48 (5):787-808.details
|
|
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.details
|
|
Two-valued weak Kleene logics.Bruno da Ré & Damian Szmuc - 2019 - Manuscrito 42 (1):1-43.details
|
|
Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.details
|
|
The logic of paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.details
|
|
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.details
|
|
Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics.Yaroslav I. Petrukhin - 2017 - Logica Universalis 11 (4):525-532.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
|
|
Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.details
|
|
On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.details
|
|
On Notation for Ordinal Numbers.S. C. Kleene - 1939 - Journal of Symbolic Logic 4 (2):93-94.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
The Logic of Nonsense.Sören Halldén - 1949 - Uppsala, Sweden: Upsala Universitets Arsskrift.details
|
|
Nonsense logics and their algebraic properties.Victor K. Finn & Revaz Grigolia - 1993 - Theoria 59 (1-3):207-273.details
|
|
Rivals to Belnap–Dunn Logic on Interlaced Trilattices.Thomas M. Ferguson - 2017 - Studia Logica 105 (6):1123-1148.details
|
|
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.details
|
|
Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen.Heinz-Dieter Ebbinghaus - 1969 - Archive for Mathematical Logic 12 (1-2):39-53.details
|
|
Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.details
|
|
The completeness of S.Harry Deutsch - 1979 - Studia Logica 38 (2):137 - 147.details
|
|
On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.details
|
|
Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.details
|
|
Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.details
|
|
Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.details
|
|
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.details
|
|
Dualities for Płonka Sums.Stefano Bonzio - 2018 - Logica Universalis 12 (3-4):327-339.details
|
|
A Duality for Involutive Bisemilattices.Stefano Bonzio, Andrea Loi & Luisa Peruzzi - 2019 - Studia Logica 107 (2):423-444.details
|
|
Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics.Arnon Avron, Jonathan Ben-Naim & Beata Konikowska - 2007 - Logica Universalis 1 (1):41-70.details
|
|
A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.details
|
|
Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 268-283.details
|
|
How a computer should think.Nuel Belnap - 1977 - In Gilbert Ryle (ed.), Contemporary aspects of philosophy. Boston: Oriel Press.details
|
|
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.details
|
|
Kleene's three valued logics and their children.Melvin Fitting - unknowndetails
|
|
Logics Based on Linear Orders of Contaminating Values.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - Journal of Logic and Computation 29 (5):631–663.details
|
|
Faulty Belnap Computers and Subsystems of FDE.Thomas Macaulay Ferguson - 2016 - Journal of Logic and Computation 26 (5):1617–1636.details
|
|
Many-Valued Logic.Nicholas Rescher - 1970 - British Journal for the Philosophy of Science 21 (4):405-406.details
|
|
Paraconsistent extensional propositional logics.Diderik Batens - 1980 - Logique and Analyse 90 (90):195-234.details
|
|