Please use this identifier to cite or link to this item:
|Type:||Artigo de periódico|
|Title:||On A Four-valued Modal Logic With Deductive Implication|
|Abstract:||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 extensions of S5, as well as their logical counterparts.|
|Editor:||University of Lodz|
|Appears in Collections:||Unicamp - Artigos e Outros Documentos|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.