Implicational formulas in intuitionistic logic
Journal of Symbolic Logic 39 (4):661-664 (1974)
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMorten 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.
Plerluigi Minari (1986). Intermediate Logics with the Same Disjunctionless Fragment as Intuitionistic Logic. Studia Logica 45 (2):207 - 222.
Charles E. Hughes (1976). Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability. Journal of Symbolic Logic 41 (1):39-44.
M. W. Bunder (1982). Deduction Theorems for Weak Implicational Logics. Studia Logica 41 (2-3):95 - 108.
A. Avron (2000). Implicational F-Structures and Implicational Relevance Logics. Journal of Symbolic Logic 65 (2):788-802.
Piotr Wojtylak (1991). On Structural Completeness of Implicational Logics. Studia Logica 50 (2):275 - 297.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
Alexander S. Karpenko (2000). The Classification of Propositional Calculi. Studia Logica 66 (2):253-271.
Lloyd Humberstone (2001). The Pleasures of Anticipation: Enriching Intuitionistic Logic. Journal of Philosophical Logic 30 (5):395-438.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,930 of 549,085 )Recent downloads (6 months)1 ( #63,317 of 549,085 )How can I increase my downloads? |
My notes
Discussion
