On the strong semantical completeness of the intuitionistic predicate calculus
Journal of Symbolic Logic 33 (1):1-7 (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesHerman Ruge Jervell (1972). On Skolem and Herbrand Theorems for Intuitionistic Logic. Oslo,Universitetet I Oslo, Matematisk Institutt.
Wil Dekkers, Martin Bunder & Henk Barendregt (1998). Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic Into Illative Combinatory Logic. Journal of Symbolic Logic 63 (3):869-890.
Enrico Martino (1998). Negationless Intuitionism. Journal of Philosophical Logic 27 (2):165-177.
Dmitrij Skvortsov (1998). On Some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics. Studia Logica 61 (2):281-292.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
Jekeri Okee (1975). A Semantical Proof of the Undecidability of the Monadic Intuitionistic Predicate Calculus of the First Order. Notre Dame Journal of Formal Logic 16 (4):552-554.
Ernst Zimmermann (2002). A Predicate Logical Extension of a Subintuitionistic Propositional Logic. Studia Logica 72 (3):401-410.
D. C. McCarty (1996). Undecidability and Intuitionistic Incompleteness. Journal of Philosophical Logic 25 (5):559 - 565.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #203,919 of 556,840 )Recent downloads (6 months)1 ( #64,931 of 556,840 )How can I increase my downloads? |
My notes
Discussion
