Studia Logica 41 (2-3):95 - 108 (1982)
|Abstract||The standard deduction theorem or introduction rule for implication, for classical logic is also valid for intuitionistic logic, but just as with predicate logic, other rules of inference have to be restricted if the theorem is to hold for weaker implicational logics.In this paper we look in detail at special cases of the Gentzen rule for and show that various subsets of these in effect constitute deduction theorems determining all the theorems of many well known as well as not well known implicational logics. In particular systems of rules are given which are equivalent to the relevance logics E,R, T, P-W and P-W-I.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Guram Bezhanishvili (2001). Glivenko Type Theorems for Intuitionistic Modal Logics. Studia Logica 67 (1):89-109.
Takahito Aoto (1999). Uniqueness of Normal Proofs in Implicational Intuitionistic Logic. Journal of Logic, Language and Information 8 (2):217-242.
Janusz Czelakowski (1985). Algebraic Aspects of Deduction Theorems. Studia Logica 44 (4):369 - 387.
Ross T. Brady (1993). Rules in Relevant Logic — II: Formula Representation. Studia Logica 52 (4):565 - 585.
Alexander S. Karpenko (2000). The Classification of Propositional Calculi. Studia Logica 66 (2):253-271.
A. Avron (2000). Implicational F-Structures and Implicational Relevance Logics. Journal of Symbolic Logic 65 (2):788-802.
Dov M. Gabbay & Nicola Olivetti (1998). Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Studia Logica 61 (2):237-280.
Diderik Batens (1987). Relevant Implication and the Weak Deduction Theorem. Studia Logica 46 (3):239 - 245.
Ryo Kashima & Norihiro Kamide (1999). Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63 (2):181-212.
Added to index2009-01-28
Total downloads12 ( #93,265 of 548,984 )
Recent downloads (6 months)1 ( #63,327 of 548,984 )
How can I increase my downloads?