- Pure semantics and applied semantics.B. J. Copeland - 1983 - Topoi 2 (2):197-204.details
|
|
Caracterisation des Algebres de Nelson par des Egalites.Diana Brignole & Antonio Monteiro - 1969 - Journal of Symbolic Logic 34 (1):119-119.details
|
|
Exactly true and non-falsity logics meeting infectious ones.Alex Belikov & Yaroslav Petrukhin - 2020 - Journal of Applied Non-Classical Logics 30 (2):93-122.details
|
|
The value of the four values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.details
|
|
An Algebraic View of Super-Belnap Logics.Hugo Albuquerque, Adam Přenosil & Umberto Rivieccio - 2017 - Studia Logica 105 (6):1051-1086.details
|
|
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407-428.details
|
|
New Essays on Belnap-Dunn Logic.Hitoshi Omori & Heinrich Wansing (eds.) - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.details
|
|
Interpolation Methods for Dunn Logics and Their Extensions.Stefan Wintein & Reinhard Muskens - 2017 - Studia Logica 105 (6):1319-1347.details
|
|
Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.details
|
|
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.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
|
|
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.details
|
|
Hilbert-style axiomatization of first-degree entailment and a family of its extensions.Yaroslav Shramko - 2021 - Annals of Pure and Applied Logic 172 (9):103011.details
|
|
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.details
|
|
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.details
|
|
Nothing but the Truth.Andreas Pietz & Umberto Rivieccio - 2013 - Journal of Philosophical Logic 42 (1):125-135.details
|
|
The Lattice of Super-Belnap Logics.Adam Přenosil - 2023 - Review of Symbolic Logic 16 (1):114-163.details
|
|
Logics of upsets of De Morgan lattices.Adam Přenosil - forthcoming - Mathematical Logic Quarterly.details
|
|
Four-Valued Logics of Truth, Nonfalsity, Exact Truth, and Material Equivalence.Adam Přenosil - 2020 - Notre Dame Journal of Formal Logic 61 (4):601-621.details
|
|
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics.Adam Přenosil - 2017 - Studia Logica 105 (6):1255-1289.details
|
|
On Axiomatizing Shramko-Wansing’s Logic.Sergei P. Odintsov - 2009 - Studia Logica 91 (3):407 - 428.details
|
|
The representation of gappy sentences in four-valued semantics.Genoveva Martí & José Martínez-Fernández - 2021 - Semiotica 2021 (240):145-163.details
|
|
Removing the Oddity in First Degree Entailment.Andreas Kapsner - 2019 - Thought: A Journal of Philosophy 8 (4):240-249.details
|
|
The Strict/Tolerant Idea and Bilattices.Melvin Fitting - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 167-191.details
|
|
VIII.—Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-162.details
|
|
Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59 (1):141-62.details
|
|
VIII.—Truth.Michael Dummett - 1959 - Proceedings of the Aristotelian Society 59:141-162.details
|
|
The trilaticce of constructive truth values.Yaroslav Shramko, J. Michael Dunn & Tatsutoshi Takenaka - 2001 - Journal of Logic and Computation 11 (1):761--788.details
|
|
Relevant and substructural logics.Greg Restall - unknowndetails
|
|