Exhaustively axiomatizing RMO with an appropiate extension of Anderson and Belnap's “strong and natural list of valid entailments”
Theoria 5 (1):223-228 (1990)
|Abstract||RMO -> is the result of adding the ‘mingle principle’ (viz. A-> (A -> A)) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
B. J. Copeland (1980). The Trouble Anderson and Belnap Have with Relevance. Philosophical Studies 37 (4):325 - 334.
J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.
Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
Fabrice Correia (2004). Semantics for Analytic Containment. Studia Logica 77 (1):87 - 104.
J. Michael Dunn (1980). A Sieve for Entailments. Journal of Philosophical Logic 9 (1):41 - 57.
Alasdair Urquhart (forthcoming). Anderson and Belnap's Invitation to Sin. Journal of Philosophical Logic.
Edwin D. Mares (2000). Ce is Not a Conservative Extension of E. Journal of Philosophical Logic 29 (3):263-275.
Alan Ross Anderson & Nuel D. Belnap (1962). Tautological Entailments. Philosophical Studies 13 (1-2):9 - 24.
Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?