An abstract algebraic logic approach to tetravalent modal logics
Copyright policy )An abstract algebraic logic approach to tetravalent modal logics
AbstractThis 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.
- University of Barcelona Spain
abstract algebraic logic, four-valued logic, Other algebras related to logic, generalized matrix, three-valued Łukasiewicz algebra, De Morgan algebra, De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects), algebraizable logic, strongly adequate Gentzen calculus, Many-valued logic, abstract logic, full model, tetravalent modal algebras, Modal logic (including the logic of norms), four-valued modal algebra, abstract model, modal logic
abstract algebraic logic, four-valued logic, Other algebras related to logic, generalized matrix, three-valued Łukasiewicz algebra, De Morgan algebra, De Morgan algebras, Łukasiewicz algebras (lattice-theoretic aspects), algebraizable logic, strongly adequate Gentzen calculus, Many-valued logic, abstract logic, full model, tetravalent modal algebras, Modal logic (including the logic of norms), four-valued modal algebra, abstract model, modal logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).32 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!