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
Author: Coniglio M.E.
Figallo M.
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
Rights: aberto
Identifier DOI: 
Date Issue: 2014
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-84903754961.pdf317.42 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.