- 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
|
|
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.details
|
|
(1 other version)Pure three-valued łukasiewiczian implication.Storrs McCall & R. K. Meyer - 1966 - Journal of Symbolic Logic 31 (3):399-405.details
|
|
Analytic Tableaux for all of SIXTEEN 3.Stefan Wintein & Reinhard Muskens - 2015 - Journal of Philosophical Logic 44 (5):473-487.details
|
|
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wiendetails
|
|
Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.details
|
|
Speech Acts, Categoricity, and the Meanings of Logical Connectives.Ole Thomassen Hjortland - 2014 - Notre Dame Journal of Formal Logic 55 (4):445-467.details
|
|
Leonard Bolc and Piotr Borowik: Many-valued logics: 1. Theoretical foundations, Berlin: Springer, 1991. [REVIEW]Petr Hajek & Richard Zach - 1994 - Journal of Applied Non-Classical Logics 4 (2):215-220.details
|
|
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.details
|
|
Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2021 - Journal of Philosophical Logic 51 (6):1417-1452.details
|
|
The Golden Age of Polish Philosophy. Kaziemierz Twardowski’s philosophical legacy.Sandra Lapointe, Jan Wolenski, Mathieu Marion & Wioletta Miskiewicz (eds.) - 2009 - Dordrecht, Netherland: Springer.details
|
|
Distributive-lattice semantics of sequent calculi with structural rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.details
|
|
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details
|
|
Suszko’s Thesis, Inferential Many-valuedness, and the Notion of a Logical System.Heinrich Wansing & Yaroslav Shramko - 2008 - Studia Logica 88 (3):405-429.details
|
|
Many-place sequent calculi for finitely-valued logics.Alexej P. Pynko - 2010 - Logica Universalis 4 (1):41-66.details
|
|
Minimal Sequent Calculi for Łukasiewicz’s Finitely-Valued Logics.Alexej P. Pynko - 2015 - Bulletin of the Section of Logic 44 (3/4):149-153.details
|
|
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.details
|
|
Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.details
|
|