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.
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
Related content
Calculus of Variations and Partial Differential Equations, Vol. 49, Iss. 3-4, 2014-03 ,pp. :
Toward an inscriptional semantics
The Journal of Symbolic Logic, Vol. 16, Iss. 3, 1951-09 ,pp. :
Distance semantics for belief revision
The Journal of Symbolic Logic, Vol. 66, Iss. 1, 2001-03 ,pp. :
The semantics of singular terms
The Journal of Symbolic Logic, Vol. 27, Iss. 4, 1962-12 ,pp. :