David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Sergio A. Celani (2011). Classical Modal De Morgan Algebras. Studia Logica 98 (1-2):251-266.
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 downloads12 ( #130,070 of 1,102,846 )
Recent downloads (6 months)6 ( #46,777 of 1,102,846 )
How can I increase my downloads?