PP201134: Bezhanishvili, Nick and de Jongh, Dick (2011) Extendible formulas in two variables in intuitionistic logic. [Report]

Text (Full Text)
PP201134.text.pdf Download (241kB)  Preview 

Text (Abstract)
PP201134.abstract.txt Download (621B) 
Abstract
We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of nuniversal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.
Item Type:  Report 

Report Nr:  PP201134 
Series Name:  Prepublication (PP) Series 
Year:  2011 
Uncontrolled Keywords:  intuitionistic logic; universal models; exact formulas; projective formulas; extendible 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:37 
Last Modified:  12 Oct 2016 14:37 
URI:  https://eprints.illc.uva.nl/id/eprint/438 
Actions (login required)
View Item 