Gentzenization and decidability of some contraction-less relevant logics
Journal of Philosophical Logic 20 (1):97 - 117 (1991)
| 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,882 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGreg Restall (1995). Four-Valued Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 24 (2):139 - 160.
Claudio Cerrato (1994). Decidability by Filtrations for Graded Normal Logics (Graded Modalities V). Studia Logica 53 (1):61 - 73.
Eiji Kiriyama & Hlroakira Ono (1991). The Contraction Rule and Decision Problems for Logics Without Structural Rules. Studia Logica 50 (2):299 - 319.
Greg Restall (1993). How to Bereally Contraction Free. Studia Logica 52 (3):381 - 391.
Robert K. Meyer, Steve Giambrone & Ross T. Brady (1984). Where Gamma Fails. Studia Logica 43 (3):247 - 256.
Frank Wolter (1997). Completeness and Decidability of Tense Logics Closely Related to Logics Above K. Journal of Symbolic Logic 62 (1):131-158.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Ross T. Brady (1990). The Gentzenization and Decidability of RW. Journal of Philosophical Logic 19 (1):35 - 73.
John K. Slaney (1984). A Metacompleteness Theorem for Contraction-Free Relevant Logics. Studia Logica 43 (1-2):159 - 168.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #234,778 of 556,909 )Recent downloads (6 months)1 ( #64,931 of 556,909 )How can I increase my downloads? |
My notes
Discussion
