On the complexity of propositional quantification in intuitionistic logic
Journal of Symbolic Logic 62 (2):529-544 (1997)
| Abstract | We define a propositionally quantified intuitionistic logic Hπ + by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that Hπ+ is recursively isomorphic to full second order classical logic. Hπ+ is the intuitionistic analogue of the modal systems S5π +, S4π +, S4.2π +, K4π +, Tπ +, Kπ + and Bπ +, studied by Fine | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMilan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.
A. S. Troelstra (1981). On a Second Order Propositional Operator in Intuitionistic Logic. Studia Logica 40 (2):113 - 139.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
A. D. Yashin (1999). Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness. Journal of Philosophical Logic 28 (2):175-197.
Tomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.
Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,161 of 549,119 )Recent downloads (6 months)1 ( #63,361 of 549,119 )How can I increase my downloads? |
My notes
Discussion
