A metacompleteness theorem for contraction-free relevant logics
Studia Logica 43 (1-2):159 - 168 (1984)
| Abstract | I note that the logics of the relevant group most closely tied to the research programme in paraconsistency are those without the contraction postulate(A.AB).AB and its close relatives. As a move towards gaining control of the contraction-free systems I show that they are prime (that wheneverA B is a theorem so is eitherA orB). The proof is an extension of the metavaluational techniques standardly used for analogous results about intuitionist logic or the relevant positive logics. | |||||||||
| 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 articlesRobert K. Meyer, Steve Giambrone & Ross T. Brady (1984). Where Gamma Fails. Studia Logica 43 (3):247 - 256.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Eiji Kiriyama & Hlroakira Ono (1991). The Contraction Rule and Decision Problems for Logics Without Structural Rules. Studia Logica 50 (2):299 - 319.
Ewa Orlowska (1992). Relational Proof System for Relevant Logics. Journal of Symbolic Logic 57 (4):1425-1440.
Andreja Prijatelj (1995). Connectification Forn-Contraction. Studia Logica 54 (2):149 - 171.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Hiroakira Ono (1985). Semantical Analysis of Predicate Logics Without the Contraction Rule. Studia Logica 44 (2):187 - 196.
Greg Restall (1995). Four-Valued Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 24 (2):139 - 160.
Greg Restall (1993). How to Bereally Contraction Free. Studia Logica 52 (3):381 - 391.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,800 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
