Journal of Symbolic Logic 65 (2):481-518 (2000)
This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo, Landini and Ziliani, at the suggestion of the late Antonio Monteiro
|Keywords||Abstract Logic Generalized Matrix Tetravalent Modal Algebra Four-Valued Modal Algebra De Morgan Algebra Three-Valued Lukasiewicz Algebra Four-Valued Logic Modal Logic Algebraizable Logic Full Model Strongly Adequate Gentzen Calculus|
|Categories||categorize this paper)|
References found in this work BETA
Four Valued Semantics and the Liar.Albert Visser - 1984 - Journal of Philosophical Logic 13 (2):181 - 212.
Bilattices and the Theory of Truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Citations of this work BETA
On the Closure Properties of the Class of Full G-Models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.
Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras.Marcelo E. Coniglio & Martín Figallo - 2014 - Studia Logica 102 (3):525-539.
A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus.Aldo Victorio Figallo, Estela Bianco & Alicia Ziliani - 2014 - Open Journal of Philosophy 4 (3):319-331.
Similar books and articles
Algebraic Study of Sette's Maximal Paraconsistent Logic.Alexej P. Pynko - 1995 - Studia Logica 54 (1):89 - 128.
On Variable Separation in Modal and Superintuitionistic Logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
The Lattice of Modal Logics: An Algebraic Investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
BK-Lattices. Algebraic Semantics for Belnapian Modal Logics.Sergei P. Odintsov & E. I. Latkin - 2012 - Studia Logica 100 (1-2):319-338.
A First Approach to Abstract Modal Logics.Josep M. Font & Ventura Verdú - 1989 - Journal of Symbolic Logic 54 (3):1042-1062.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Added to index2009-01-28
Total downloads23 ( #217,397 of 2,163,603 )
Recent downloads (6 months)1 ( #348,037 of 2,163,603 )
How can I increase my downloads?