Extendible Formulas in Two Variables in Intuitionistic Logic
| Authors | |
|---|---|
| Publication date | 2012 |
| Journal | Studia Logica |
| Volume | Issue number | 100 | 1-2 |
| Pages (from-to) | 61-89 |
| Organisations |
|
| Abstract | 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. |
| Document type | Article |
| Note | In Special issue dedicated to the memory of Leo Esakia |
| Language | English |
| Published at |
https://doi.org/10.1007/s11225-012-9389-8
(Final published version)
|
| Permalink to this page | |