Please use this identifier to cite or link to this item:
|Type:||Artigo de periódico|
|Title:||On Some Extensions Of Intuitionistic Logic|
|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.|
|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.