On Finite-Valued Propositional Logical Calculi (original) (raw)
Related papers
Irreducible Truth-Value Algebras Suffice for the Completeness of Many First-Order Algebraic Logics
arXiv: Logic, 2016
Algebraic Properties of Propositional Calculus
Boolean-like algebras of finite dimension
2018
2009
Algebraic Logic and Logically-Geometric Types in Varieties of Algebras
Journal of Algebra and Its Applications, 2013
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus
Open Journal of Philosophy, 2014
Some algebraic structures for many-valued logics
1998
Finite schematizable algebraic logic
Logic Journal of IGPL, 1997
Labeled calculi and finite-valued logics
Studia Logica, 1998
Proof theory of finite-valued logics
1993
Algebraic Structures for Logical Calculi
Mathematical Principles of Fuzzy Logic, 1999
On universal algebraic constructions of logics
Studia Logica, 1977
Some logical invariants of algebras and logical relations between algebras
St. Petersburg Mathematical Journal, 2008
Algebraic Logic, Where Does it Stand Today?
Bulletin of Symbolic Logic, 2005
Finite-valued reductions of infinite-valued logics
Archive for Mathematical Logic, 2002
Non-finite-axiomatizability results in algebraic logic
Journal of Symbolic Logic, 1992
Classical Logic with n Truth Values as a Symmetric Many-Valued Logic
Foundations of Science
Boolean Algebra and Propositional Logic
Finiteness conditions and distributive laws for Boolean algebras
MLQ, 2009
Bochvar’s algebras and corresponding propositional calculi
Bulletin of the Section of Logic
The Semiring Properties of Boolean Propositional Algebras
Arxiv preprint arXiv:0901.2439, 2009
Duality for algebras of relevant logics
Studia Logica, Volume 56, 263-276, 1996
An overview of generalized basic logic algebras
2003
Fundamenta Informaticae, 2004
Finite-valued Logics for Information Processing
Fundamenta Informaticae
A Survey of Abstract Algebraic Logic
Studia Logica - An International Journal for Symbolic Logic, 2003