| Authors |
|
| Publication date |
2012
|
| Journal |
Studia Logica
|
| Volume | Issue number |
100 | 1-2
|
| Pages (from-to) |
61-89
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|