- Experimenting with Consistency.Walter Carnielli, Juliana Bueno-Soler & Walter Carnieli and Juliana Bueno-Soler - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer Verlag. pp. 199-221.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.details
|
|
Fibring: completeness preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.details
|
|
Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.details
|
|
Variations on da Costa C systems and dual-intuitionistic logics I. analyses of cω and CCω.Richard Sylvan - 1990 - Studia Logica 49 (1):47-65.details
|
|
Variations on Da Costa C Systems and Dual-Intuitionistic Logics I. Analyses of $C{\omega}$ and $CC{\omega}$.Richard Sylvan - 1990 - Studia Logica 49 (1):47 - 65.details
|
|
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.details
|
|
${\rm C}_1$ is not algebraizable.R. A. Lewin, I. F. Mikenberg & M. G. Schwarze - 1991 - Notre Dame Journal of Formal Logic 32 (4):609-611.details
|
|
Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.details
|
|
Idempotent Full Paraconsistent Negations are not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.details
|
|
Paraconsistency and the $\rm C$-systems of da Costa.Igor Urbas - 1989 - Notre Dame Journal of Formal Logic 30 (4):583-597.details
|
|
Fragments of the propositional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.details
|
|
A normal logic that is complete for neighborhood frames but not for Kripke frames.Dov M. Gabbay - 1975 - Theoria 41 (3):148-153.details
|
|
A normal logic that is complete for neighborhood frames but not for Kripke frames.Dov M. Gabbay - 1974 - Theoria 40 (3):148-153.details
|
|
Star and perp: Two treatments of negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.details
|
|
Negation in the Context of Gaggle Theory.J. Michael Dunn & Chunlai Zhou - 2005 - Studia Logica 80 (2):235-264.details
|
|
Two Decision Procedures for da Costa’s $$C_n$$ C n Logics Based on Restricted Nmatrix Semantics.Marcelo E. Coniglio & Guilherme V. Toledo - 2022 - Studia Logica 110 (3):601-642.details
|
|
Logics of formal inconsistency arising from systems of fuzzy logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.details
|
|
Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.details
|
|
Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter A. Carnielli & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy:1.details
|
|
Paraconsistent Algebras.Walter Alexandre Carnielli & Luiz Paulo de Alcantara - 1984 - Studia Logica 43 (1):79-88.details
|
|
Paraconsistent algebras.Walter Alexandre Carnielli & Luiz Paulo Alcantara - 1984 - Studia Logica 43 (1-2):79 - 88.details
|
|
On the way to a Wider model theory: Completeness theorems for first-order logics of formal inconsistency.Walter Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki & Tarcísio Rodrigues - 2014 - Review of Symbolic Logic 7 (3):548-578.details
|
|
Paraconsistent logic from a modal viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.details
|
|
Self-extensional three-valued paraconsistent logics have no implications.Arnon Avron & Jean-Yves Beziau - 2016 - Logic Journal of the IGPL 25 (2):183-194.details
|
|
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron - 2017 - Logica Universalis 11 (3):297-315.details
|
|
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.details
|
|
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.details
|
|
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.details
|
|
A paraconsistent view on B and S5.Arnon Avron & Anna Zamansky - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 21-37.details
|
|
First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.details
|
|
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.details
|
|
Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.details
|
|
Counterfactuals.David Lewis - 1973 - Philosophy of Science 42 (3):341-344.details
|
|
Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2005 - Studia Logica 79 (2):305-306.details
|
|
Paraconsistency and C1.Chris Mortensen - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 289--305.details
|
|
Non-deterministic Matrices and Modular Semantics of Rules.Arnon Avron - unknowndetails
|
|
Advice on modal logic.D. Scott - 1970 - In K. Lambert (ed.), Philosophical Problems in Logic: Some Recent Developments. D. Reidel. pp. 143--173.details
|
|