Classical Logic with n Truth Values as a Symmetric Many-Valued Logic (original) (raw)
Related papers
Boolean-like algebras of finite dimension
2018
On Finite-Valued Propositional Logical Calculi
Notre Dame Journal of Formal Logic, 1995
Some algebraic structures for many-valued logics
1998
The Complete Axiomatisation of any Many-Valued Propositional Logic
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1976
Entailment Multipliers: An Algebraic Characterization of Validity for Classical and Modal Logics
Lecture Notes in Computer Science, 2010
Algebraic Properties of Propositional Calculus
Two theorems on many-valued logics
Journal of Philosophical Logic, 1988
Dyadic semantics for many-valued logics
2003
2017
Fundamenta Informaticae, 2004
Logics based on partial Boolean σ-algebras (1)
Studia Logica, 1974
Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics
arXiv: Logic, 2016
Classic-like analytic tableaux for finite-valued logics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009
Archive for Mathematical Logic, 2010
A Generalization of Twist-Structures Semantics for n-valued logics
Víctor Fernández, Carina Murciano
A complete many-valued logic with product-conjunction
Archive for Mathematical Logic, 1996
Finite-valued Logics for Information Processing
Fundamenta Informaticae
Artur Khamisyan, Anahit Chubaryan
Iran Journal of Computer Science
An Interpretation of Many‐Valued Logic
Mathematical Logic Quarterly, 1973
Saturated models of first-order many-valued logics [LOGIC JOURNAL OF THE IGPL]
Logic Journal of the IGPL
Dual systems of sequents and tableaux for many-valued logics
Bulletin of the EATCS, 1993
Fundamental Theorems and Families of Forms for Binary and Multiple-Valued Linearly Independent Logic
On Some Universal Propositional Proof Systems for Many-Valued Logic
2020
2003
An overview of generalized basic logic algebras
2003
Logics based on partial Boolean σ-algebras
Studia Logica, 1975
Neutrality and Many-Valued Logics
2007
Behavioral Algebraization of Logics
Studia Logica, 2009
Logic Determined by Boolean Algebras with Conjugate
Lecture Notes in Computer Science, 2006
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus
Open Journal of Philosophy, 2014
Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation, 2012
A generalization of falsity in finitely-many valued logics
Fundamenta Informaticae (special issue in honor of Trakhtenbrot centenary), 2022