Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: Modal Extensions Of Sub-classical Logics For Recovering Classical Logic
Author: Coniglio M.E.
Peron N.M.
Abstract: In this paper we introduce non-normal modal extensions of the sub-classical logics CLoN, CluN and CLaN, in the same way that S0. 50 extends classical logic. The first modal system is both paraconsistent and paracomplete, while the second one is paraconsistent and the third is paracomplete. Despite being non-normal, these systems are sound and complete for a suitable Kripke semantics. We also show that these systems are appropriate for interpreting □ as "is provable in classical logic". This allows us to recover the theorems of propositional classical logic within three sub-classical modal systems. © 2013 Springer Basel.
Rights: fechado
Identifier DOI: 10.1007/s11787-012-0076-3
Date Issue: 2013
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
2-s2.0-84874662369.pdf249.51 kBAdobe PDFView/Open

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