An abstract algebraic logic approach to tetravalent modal logics

Authors
Citation
Jm. Font et M. Rius, An abstract algebraic logic approach to tetravalent modal logics, J SYMB LOG, 65(2), 2000, pp. 481-518
Citations number
42
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
65
Issue
2
Year of publication
2000
Pages
481 - 518
Database
ISI
SICI code
0022-4812(200006)65:2<481:AAALAT>2.0.ZU;2-7
Abstract
This paper contains a joint study of two sentential logics that combine a m any-valued character, namely tetravalence, with a modal character: one of t hem is normal and the other one quasi-normal. 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 Ge neral Algebraic Semantics for Sentential Logics". The logics studied here a rise from the algebraic and lattice-theoretical properties we review of Tet ravalent Modal Algebras. a class uf algebras studied mainly by LOUREIRO, an d also by FIGALLO, LANDINI and ZILIANI, at the suggestion of the late ANTON IO MONTEIRO.