On purported Gentzen formulations of two positive relevent logics
Studia Logica 44 (3):233 - 236 (1985)
| Abstract | [10] offers two (cut-free) subscripted Gentzen systems, G 2 T + and G 2 R +, which are claimed to be equivalent in an appropriate sense to the positive relevant logics T + and R +, respectively. In this paper we show that that claim is false. We also show that the argument in [10] for the further claim that cut and/or modus ponens is admissible in two other subscripted Gentzen systems, G 1 T + and G 1 R +, is unsound. | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesKentaro Kikuchi & Katsumi Sasaki (2003). A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information 12 (2):213-225.
Àngel J. Gil & Jordi Rebagliato (2000). Protoalgebraic Gentzen Systems and the Cut Rule. Studia Logica 65 (1):53-89.
Matthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
Anita Wasilewska (1985). Programs and Logics. Studia Logica 44 (2):125 - 137.
Osamu Morikawa (2001). Extended Gentzen-Type Formulations of Two Temporal Logics Based on Incomplete Knowledge Systems. Notre Dame Journal of Formal Logic 42 (1):55-64.
Michael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. Studia Logica 38 (2):187 - 200.
Arnon Avron (2005). A Non-Deterministic View on Non-Classical Negations. Studia Logica 80 (2-3):159 - 194.
Aleksandar Kron (1980). Gentzen Formulations of Two Positive Relevance Logics. Studia Logica 39 (4):381 - 403.
Aleksandar Kron (1981). Gentzen Formulations of Two Positive Relevance Logics. Studia Logica 40 (3):381 - 403.
Steve Giambrone & Aleksandar Kron (1987). Four Relevant Gentzen Systems. Studia Logica 46 (1):55 - 71.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads2 ( #232,381 of 549,070 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
