Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/87813
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: 
Address: http://www.scopus.com/inward/record.url?eid=2-s2.0-84903754961&partnerID=40&md5=d463228615982f47a142fcd0bb80c632
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.