A Routley-Meyer Type Semantics for Relevant Logics Including Br Plus the Disjunctive Syllogism |
| |
| Authors: | Gemma Robles José M. Méndez |
| |
| Affiliation: | (1) Chicago State University, Chicago, IL, USA;(2) Purdue University North Central, Westville, IN, USA;(3) Present address: Department of Philosophy, Northern Illinois University, DeKalb, IL 60115, USA |
| |
| Abstract: | Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule ( vdash Arightarrow lnot ARightarrow vdash lnot A) and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π′ are among the logics considered. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
