A consecutive calculus for positive relevant implication with necessity
Journal of Philosophical Logic 9 (4) (1980)
| 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 |
 |
| Through your library | Configure |
Similar books and articlesMichael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. Studia Logica 38 (2):187 - 200.
Alan Anderson, Belnap R., D. Nuel & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. Ii. Princeton University Press.
Philip Kremer (1997). Defining Relevant Implication in a Propositionally Quantified S. Journal of Symbolic Logic 62 (4):1057-1069.
Anjan Shukla (1965). A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implication. Notre Dame Journal of Formal Logic 6 (2):123-128.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
Philip Kremer (1989). Relevant Predication: Grammatical Characterisations. Journal of Philosophical Logic 18 (4):349 - 382.
Nuel D. Belnap Jr, Anil Gupta & J. Michael Dunn (1980). A Consecutive Calculus for Positive Relevant Implication with Necessity. Journal of Philosophical Logic 9 (4):343 - 362.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,532 of 549,128 )Recent downloads (6 months)1 ( #63,361 of 549,128 )How can I increase my downloads? |
My notes
Discussion
