A free IPC is a natural logic: Strong completeness for some intuitionistic free logics
Topoi 1 (1-2):30-43 (1982)
| Abstract | IPC, the intuitionistic predicate calculus, has the property(i) Vc(A c /x) xA.Furthermore, for certain important , IPC has the converse property (ii) xA Vc(A c /x). (i) may be given up in various ways, corresponding to different philosophic intuitions and yielding different systems of intuitionistic free logic. The present paper proves the strong completeness of several of these with respect to Kripke style semantics. It also shows that giving up (i) need not force us to abandon the analogue of (ii). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAndrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Roy Dyckhoff & Luis Pinto (1998). Cut-Elimination and a Permutation-Free Sequent Calculus for Intuitionistic Logic. Studia Logica 60 (1):107-118.
Dmitrij Skvortsov (1998). On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica 61 (2):281-292.
Nobu-Yuki Suzuki (1995). Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic. Studia Logica 54 (2):173 - 198.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
H. C. M. Swart & C. J. Posy (1981). Validity and Quantification in Intuitionism. Journal of Philosophical Logic 10 (1):117 - 126.
Mauro Ferrari (1997). Cut-Free Tableau Calculi for Some Intuitionistic Modal Logics. Studia Logica 59 (3):303-330.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Dick De Jongh & L. A. Chagrova (1995). The Decidability of Dependency in Intuitionistic Propositional Logi. Journal of Symbolic Logic 60 (2):498 - 504.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads36 ( #32,948 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
