Extendible Formulas in Two Variables in Intuitionistic Logic

Studia Logica 100 (1-2):61-89 (2012)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 77,670

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
Moorean Phenomena in Epistemic Logic.Wesley H. Holliday & Thomas F. Icard - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic 8. College Publications. pp. 178-199.
On the logic of natural kinds.Nino Cocchiarella - 1976 - Philosophy of Science 43 (2):202-222.
Strong convergence in finite model theory.Wafik Boulos Lotfallah - 2002 - Journal of Symbolic Logic 67 (3):1083-1092.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.


Added to PP

15 (#706,403)

6 months
1 (#480,066)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Nick Bezhanishvili
University of Amsterdam
Dick De De Jongh
University of Amsterdam