- The analytic conception of truth and the foundations of arithmetic.Peter Apostoli - 2000 - Journal of Symbolic Logic 65 (1):33-102.details
|
|
Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness.Alexander Bochman - 1998 - Notre Dame Journal of Formal Logic 39 (1):47-73.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknowndetails
|
|
Bilattices In Logic Programming.Melvin Fitting - unknowndetails
|
|
Kleene's logic, generalized.Melvin Fitting - unknowndetails
|
|
A few more useful 8-valued logics for reasoning with tetralattice eight.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265 - 280.details
|
|
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT 4.Dmitry Zaitsev - 2009 - Studia Logica 92 (2):265-280.details
|
|
The Geometry of Negation.Massimo Warglien & Achille C. Varzi - 2003 - Journal of Applied Non-Classical Logics 13 (1):9-19.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
|
|
Four-Valued Logics BD and DM4: Expansions.Alexander S. Karpenko - 2017 - Bulletin of the Section of Logic 46 (1/2).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
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
Valuations: Bi, Tri, and Tetra.Rohan French & David Ripley - 2019 - Studia Logica 107 (6):1313-1346.details
|
|
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.details
|
|
Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics.Melvin Fitting - 2021 - Australasian Journal of Logic 18 (2).details
|
|
A theory of truth that prefers falsehood.Melvin Fitting - 1997 - Journal of Philosophical Logic 26 (5):477-500.details
|
|
A Family of Strict/Tolerant Logics.Melvin Fitting - 2020 - Journal of Philosophical Logic 50 (2):363-394.details
|
|
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.details
|
|
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.details
|
|
Identity and Aboutness.Benjamin Brast-McKie - 2021 - Journal of Philosophical Logic 50 (6):1471-1503.details
|
|
The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.details
|
|
Construction of truth predicates: Approximation versus revision.Juan Barba - 1998 - Bulletin of Symbolic Logic 4 (4):399-417.details
|
|
Bilattice logic of epistemic actions and knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.details
|
|
A New Conditional for Naive Truth Theory.Andrew Bacon - 2013 - Notre Dame Journal of Formal Logic 54 (1):87-104.details
|
|
The Family of Stable Models.Melvin Fitting - unknowndetails
|
|
Kleene's three valued logics and their children.Melvin Fitting - unknowndetails
|
|
Paraconsistent Sensitivity Analysis for Bayesian Significance Tests.Julio Michael Stern - 2004 - Lecture Notes in Artificial Intelligence 3171:134-143.details
|
|
Krata podwójna: próba opisu wydarzeń przyszłych za pomocą narzędzi logicznych.Albert Przemysław Bażyk - 2012 - Semina Scientiarum 11:5-34.details
|
|