On second order intuitionistic propositional logic without a universal quantifier
Journal of Symbolic Logic 74 (1):157-167 (2009)
| 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,705 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesFernando Ferreira (2006). Comments on Predicative Logic. Journal of Philosophical Logic 35 (1):1 - 8.
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.
Tomasz Połacik (1994). Second Order Propositional Operators Over Cantor Space. Studia Logica 53 (1):93 - 105.
Philip Kremer (1997). On the Complexity of Propositional Quantification in Intuitionistic Logic. Journal of Symbolic Logic 62 (2):529-544.
A. S. Troelstra (1981). On a Second Order Propositional Operator in Intuitionistic Logic. Studia Logica 40 (2):113 - 139.
Fan Yang (2013). Expressing Second-Order Sentences in Intuitionistic Dependence Logic. Studia Logica 101 (2):323-342.
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.
Peter W. O'Hearn & David J. Pym (1999). The Logic of Bunched Implications. Bulletin of Symbolic Logic 5 (2):215-244.
Tomasz Połacik (1998). Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. Journal of Symbolic Logic 63 (1):269-300.
A. D. Yashin (1999). Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness. Journal of Philosophical Logic 28 (2):175-197.
Stefano Berardi (1999). Intuitionistic Completeness for First Order Classical Logic. Journal of Symbolic Logic 64 (1):304-312.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.
Wiesław Dziobiak (1983). Cardinalities of Proper Ideals in Some Lattices of Strengthenings of the Intuitionistic Propositional Logic. Studia Logica 42 (2-3):173 - 177.
Analytics
Monthly downloads |
Added to index2010-09-12Total downloads6 ( #145,729 of 549,510 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
