Two basic pure-implicational systems
Notre Dame Journal of Formal Logic 20 (3):674-684 (1979)
| 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,672 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesLloyd Humberstone (2006). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. Journal of Philosophical Logic 35 (5):435 - 487.
Lloyd Humberstone (2007). Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCsK Fragment of S. Journal of Philosophical Logic 36 (2):435 - 487.
Piotr Wojtylak (1991). On Structural Completeness of Implicational Logics. Studia Logica 50 (2):275 - 297.
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
M. W. Bunder (1982). Deduction Theorems for Weak Implicational Logics. Studia Logica 41 (2-3):95 - 108.
Roy Edelstein (1975). An Interpolation Lemma for the Pure Implicational Calculus. Journal of Symbolic Logic 40 (3):443-444.
Alexander S. Karpenko (2000). The Classification of Propositional Calculi. Studia Logica 66 (2):253-271.
Tadeusz Prucnal (1972). On the Structural Completeness of Some Pure Implicational Propositional Calculi. Studia Logica 30 (1):45 - 52.
Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos (2002). Shortest Axiomatizations of Implicational S4 and S. Notre Dame Journal of Formal Logic 43 (3):169-179.
Tadeusz Prucnal (1974). Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi. Studia Logica 33 (1):59 - 64.
George F. Schumm (1975). A Henkin-Style Completeness Proof for the Pure Implicational Calculus. Notre Dame Journal of Formal Logic 16 (3):402-404.
Tijn Borghuis (1998). Modal Pure Type Systems. Journal of Logic, Language and Information 7 (3):265-296.
E. G. K. López-Escobar (1982). Implicational Logics in Natural Deduction Systems. Journal of Symbolic Logic 47 (1):184-186.
Joseph Agassi (1980). Between Science and Technology. Philosophy of Science 47 (1):82-99.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,651 of 549,070 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
