Journal of Symbolic Logic 65 (2):481-518 (2000)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
George Georgescu (1983). Chang's Modal Operators in Algebraic Logic. Studia Logica 42 (1):43 - 48.
Alexej P. Pynko (1995). Algebraic Study of Sette's Maximal Paraconsistent Logic. Studia Logica 54 (1):89 - 128.
Ramon Jansana (1995). Abstract Modal Logics. Studia Logica 55 (2):273 - 299.
W. J. Blok & Eva Hoogland (2006). The Beth Property in Algebraic Logic. Studia Logica 83 (1-3):49 - 90.
Larisa Maksimova (1995). On Variable Separation in Modal and Superintuitionistic Logics. Studia Logica 55 (1):99 - 112.
W. J. Blok (1980). The Lattice of Modal Logics: An Algebraic Investigation. Journal of Symbolic Logic 45 (2):221-236.
Sergei P. Odintsov & E. I. Latkin (2012). BK-Lattices. Algebraic Semantics for Belnapian Modal Logics. Studia Logica 100 (1-2):319-338.
Larisa Maksimova (2006). Definability and Interpolation in Non-Classical Logics. Studia Logica 82 (2):271 - 291.
Josep M. Font & Ventura Verdú (1989). A First Approach to Abstract Modal Logics. Journal of Symbolic Logic 54 (3):1042-1062.
Nobu-Yuki Suzuki (1989). An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics. Studia Logica 48 (2):141 - 155.
Added to index2009-01-28
Total downloads6 ( #154,629 of 722,765 )
Recent downloads (6 months)1 ( #60,247 of 722,765 )
How can I increase my downloads?