Article contents
A star-free semantics for R
Published online by Cambridge University Press: 12 March 2014
Abstract
The purpose of this paper is to show that semantics for relevance logic, based on the Routley-Meyer semantics, can be given without using the Routley star operator to treat negation. In the resulting semantics, negation is treated implicationally. It is shown that, by the use of restrictions on the ternary accessibility relation, simplified by the use of some definitions, a semantics can be stipulated over which R is complete.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1995
References
REFERENCES
- 10
- Cited by