The sentential calculus using rule of inference re
Journal of Symbolic Logic 25 (2):143 - (1960)
| 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 |
 |
| Through your library | Configure |
Similar books and articlesRonald Fagin, Joseph Y. Halpern & Moshe Y. Vardi (1992). What is an Inference Rule? Journal of Symbolic Logic 57 (3):1018-1045.
Igor Douven (2005). Empirical Equivalence, Explanatory Force, and the Inference to the Best Theory. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):281-309.
Christopher Gauker (1999). Deflationism and Logic. Facta Philosophica (1):167-199.
Wojciech Zielonka (1990). Linear Axiomatics of Commutative Product-Free Lambek Calculus. Studia Logica 49 (4):515 - 522.
Grzegorz Malinowski & Marek Michalczyk (1982). That SCI has the Interpolation Property. Studia Logica 41 (4):375 - 380.
Robert Klee (1993). The Phrenetic Calculus: A Logician's View of Disordered Logical Thinking in Schizophrenia. Behavior and Philosophy 20:49 - 61.
Michael Beeson, Robert Veroff & Larry Wos (2005). Double-Negation Elimination in Some Propositional Logics. Studia Logica 80 (2-3):195 - 234.
Grzegorz Malinowski (1977). Degrees of Maximality of Łukasiewicz-Like Sentential Calculi. Studia Logica 36 (3):213 - 228.
Wojciech Zielonka (2002). On Reduction Systems Equivalent to the Lambek Calculus with the Empty String. Studia Logica 71 (1):31-46.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,837 of 549,068 )Recent downloads (6 months)1 ( #63,185 of 549,068 )How can I increase my downloads? |
My notes
Discussion
