- On Finite-Valued Propositional Logical Calculi.O. Anshakov & S. Rychkov - 1995 - Notre Dame Journal of Formal Logic 36 (4):606-629.details
|
|
Higher-Order Multi-Valued Resolution.Michael Kohlhase - 1999 - Journal of Applied Non-Classical Logics 9 (4):455-477.details
|
|
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.details
|
|
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.details
|
|
Two-sided Sequent Calculi for FDE-like Four-valued Logics.Barteld Kooi & Allard Tamminga - 2023 - Journal of Philosophical Logic 52 (2):495-518.details
|
|
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wiendetails
|
|
Approximating Propositional Calculi by Finite-valued Logics.Matthias Baaz & Richard Zach - 1994 - In Baaz Matthias & Zach Richard (eds.), 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. IEEE Press. pp. 257–263.details
|
|
Effective finite-valued approximations of general propositional logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron & Nachum Dershowitz (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Verlag. pp. 107–129.details
|
|
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
|
|
Systematic construction of natural deduction systems for many-valued logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - In Unknown (ed.), Proceedings of The Twenty-Third International Symposium on Multiple-Valued Logic, 1993. IEEE Press. pp. 208-213.details
|
|
Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations.Pawel Pawlowski - 2020 - Logica Universalis 14 (4):407-420.details
|
|
Elimination of Cuts in First-order Finite-valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Journal of Information Processing and Cybernetics EIK 29 (6):333-355.details
|
|
Reasoning without believing: on the mechanisation of presuppositions and partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.details
|
|
A resolution calculus for presuppositions.Michael Kohlhase - unknowndetails
|
|
First-order belief and paraconsistency.Srećko Kovač - 2009 - Logic and Logical Philosophy 18 (2):127-143.details
|
|
Maximal weakly-intuitionistic logics.A. M. Sette & Walter A. Carnielli - 1995 - Studia Logica 55 (1):181 - 203.details
|
|
Tableau method of proof for Peirce’s three-valued propositional logic.José Renato Salatiel - forthcoming - Filosofia Unisinos:1-10.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
|
|
Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 EURO 181,85, 978-94-007-0005-5 EURO 159,99. [REVIEW]Walter Carnielli - 2013 - Studia Logica 101 (1):229-232.details
|
|
Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.details
|
|
Many-Valued Logics and Bivalent Modalities.Edson Bezerra & Giorgio Venturi - forthcoming - Logic and Logical Philosophy:1-26.details
|
|
Proof systems for BAT consequence relations.Pawel Pawlowski - 2018 - Logic Journal of the IGPL 26 (1):96-108.details
|
|
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.details
|
|
Surviving Abduction.Walter Carnielli - 2006 - Logic Journal of the IGPL 14 (2):237-256.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
|
|
Truth-values as labels: a general recipe for labelled deduction.Cristina Sernadas, Luca Viganò, João Rasga & Amílcar Sernadas - 2003 - Journal of Applied Non-Classical Logics 13 (3):277-315.details
|
|
Dunn–Priest Quotients of Many-Valued Structures.Thomas Macaulay Ferguson - 2017 - Notre Dame Journal of Formal Logic 58 (2):221-239.details
|
|
On Non-Deterministic Quantification.Thomas Macaulay Ferguson - 2014 - Logica Universalis 8 (2):165-191.details
|
|
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.details
|
|