On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5

MARTÍN FIGALLO; MARCELO CONIGLIO

Rio de Janeiro

Congreso; 4th World Congress and School on Universal Logic; 2013

In this work, we propose to enrich the tetravalent modal logic ${\cal TML}$ with an implication in such a way that in the resulting logic the Deduction Meta--theorem holds. Such implication will be called {\em deductive implication} (see \cite{WCMCJM}). All this lead us to establish some connections between some well-known algebraic structures as well as their logical counterparts.