Relevant implication and the weak deduction theorem |
| |
Authors: | Diderik Batens |
| |
Affiliation: | (1) Seminarie voor Logica en Wijsbegeerte van de Wetenschappen Rijksuniversiteit Gent, B-9000 Gent, Belgium |
| |
Abstract: | It is shown that the implicational fragment of Anderson and Belnap's R, i.e. Church's weak implicational calculus, is not uniquely characterized by MP (modus ponens), US (uniform substitution), and WDT (Church's weak deduction theorem). It is also shown that no unique logic is characterized by these, but that the addition of further rules results in the implicational fragment of R. A similar result for E is mentioned.I am grateful to the referees; their comments enabled me to correct a mistake and to clarify several passages. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|