A star-free semantics for R

Publisher: Cambridge University Press

E-ISSN: 1943-5886|60|2|579-590

ISSN: 0022-4812

Source: The Journal of Symbolic Logic, Vol.60, Iss.2, 1995-06, pp. : 579-590

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

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.