Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
Author: Coniglio, ME
Figallo, M
Abstract: We analyze the variety of A. Monteiro's tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.
Subject: Tetravalent modal algebras
Hilbert calculi
Contrapositive implication
Paraconsistent modal logics
Country: EUA
Editor: Springer
Rights: fechado
Identifier DOI: 10.1007/s11225-013-9489-0
Date Issue: 2014
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
There are no files associated with this item.

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