Please use this identifier to cite or link to this item:
Type: Artigo de periódico
Title: On Some Extensions Of Intuitionistic Logic
Author: Biraben R.C.E.
Abstract: We prove that many extensions of Intuitionistic Sentential Calculus ISC with new intuitionistic connectives that are known to be conservative extensions of ISC are not conservative extensions of Intuitionistic Predicate Calculus because formulas such as Kuroda's are derivable. We thus solve a problem posed by López-Escobar in 1985 and answer a question posed by Humberstone in 2001 regarding a connective called the strongest anticipator.
Rights: aberto
Identifier DOI: 
Date Issue: 2012
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.