PP-2011-34: Extendible formulas in two variables in intuitionistic logic

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

[thumbnail of Full Text]
Text (Full Text)

Download (241kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (621B)


We give alternative characterizations of exact, extendible and
projective formulas in intuitionistic propositional calculus IPC in
terms of n-universal 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: PP-2011-34
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 View Item