The completeness of intuitionistic propositional calculus for its intended interpretation
Notre Dame Journal of Formal Logic 22 (1):17-28 (1981)
| 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 |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesTomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
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.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Jekeri Okee (1976). A Species-Algebraic Interpretation of the Intuitionistic Propositional Calculus. Notre Dame Journal of Formal Logic 17 (2):222-232.
Adriana Galli, Marta Sagastume & Gonzalo E. Reyes (2000). Completeness Theorems Via the Double Dual Functor. Studia Logica 64 (1):61-81.
Carl J. Posy (1982). A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics. Topoi 1 (1-2):30-43.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Andrew M. Pitts (1992). On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic. Journal of Symbolic Logic 57 (1):33-52.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads6 ( #147,054 of 556,837 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
