Simplified semantics for further relevant logics I: unreduced semantics for E and Π′
Journal article, Peer reviewed
Published version

View/ Open
Date
2024Metadata
Show full item recordCollections
- Department of Philosophy [266]
- Registrations from Cristin [11366]
Abstract
This paper shows that the relevant logics E and Π′ are strongly sound and complete with regards to a version of the “simplified” Routley-Meyer semantics. Such a semantics for E has been thought impossible. Although it is impossible if an admissible rule of E – the rule of restricted assertion or equivalently Ackermann’s δ-rule – is solely added as a primitive rule, it is very much possible when E is axiomatized in the way Anderson and Belnap did.
The simplified semantics for E and Π′ requires unreduced frames. Contra what has been claimed, however, no additional frame component is required over and above what’s required to model other relevant logics such as T and R. It is also shown how to modify the tonicity requirements of the ternary relation so as to allow for the standard truth condition for both fusion – the intensional conjunction ◦ – as well as the converse conditional ←.