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.
Publié le : 2000-06-14
Classification:
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,
03G25,
03B50,
03B45,
06D30
@article{1183746060,
author = {Font, Josep Maria and Rius, Miquel},
title = {An Abstract Algebraic Logic Approach to Tetravalent Modal Logics},
journal = {J. Symbolic Logic},
volume = {65},
number = {1},
year = {2000},
pages = { 481-518},
language = {en},
url = {http://dml.mathdoc.fr/item/1183746060}
}
Font, Josep Maria; Rius, Miquel. An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. J. Symbolic Logic, Tome 65 (2000) no. 1, pp. 481-518. http://gdmltest.u-ga.fr/item/1183746060/