Rules in relevant logic — II: Formula representation

Studia Logica 52 (4):565 - 585 (1993)
This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & ...A n B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A B)&(B C) .A C orA B .B C .A C.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF01053260
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,316
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Ross T. Brady (1990). The Gentzenization and Decidability of RW. Journal of Philosophical Logic 19 (1):35 - 73.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

31 ( #153,320 of 1,932,585 )

Recent downloads (6 months)

2 ( #333,232 of 1,932,585 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.