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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
|
| Through your library | Configure |
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.
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |

