On a Four-Valued Modal Logic with Deductive Implication 1


In this paper we propose to enrich the four-valued modal logic associated to Monteiro’s Tetravalent modal algebras (TMAs) with a deductive implication, that is, such that the Deduction Meta–theorem holds in the resulting logic. All this lead us to establish some new connections between TMAs, symmetric (or involutive) Boolean algebras, and modal algebras for… (More)


  • Presentations referencing similar topics