Deduction theorems for RM and its extensions
Studia Logica 38 (2):105 - 111 (1979)
| Abstract | In this paper logics defined by finite Sugihara matrices, as well as RM itself, are discussed both in their matrix (semantical) and in syntactical version. For each such a logic a deduction theorem is proved, and a few applications are given. | |||||||||
| 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,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesNorihiro Kamide (2009). Proof Systems Combining Classical and Paraconsistent Negations. Studia Logica 91 (2):217 - 238.
Gerhard Schurz (1991). Relevant Deduction. Erkenntnis 35 (1-3):391 - 437.
M. W. Bunder (1979). Deduction Theorems in Significance Logics. Notre Dame Journal of Formal Logic 20 (3):695-700.
Greg Restall & Francesco Paoli (2005). The Geometry of Non-Distributive Logics. Journal of Symbolic Logic 70 (4):1108 - 1126.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
E. A. Sidorenko (1983). The Strong Proof From Hypotheses and Conditionals: Some Theorems of Deduction for Relevant Systems. Studia Logica 42 (2-3):165 - 171.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
M. W. Bunder (1982). Deduction Theorems for Weak Implicational Logics. Studia Logica 41 (2-3):95 - 108.
Janusz Czelakowski (1986). Local Deductions Theorems. Studia Logica 45 (4):377 - 391.
J. Czelakowski & W. Dziobiak (1999). Deduction Theorems Within RM and its Extensions. Journal of Symbolic Logic 64 (1):279-290.
Analytics
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? |
My notes
Discussion
