A Star-free Semantics for $\mathbf{R}$
Mares, Edwin D.
J. Symbolic Logic, Tome 60 (1995) no. 1, p. 579-590 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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 $\mathbf{R}$ is complete.
Publié le : 1995-06-14
Classification:  
@article{1183744757,
     author = {Mares, Edwin D.},
     title = {A Star-free Semantics for $\mathbf{R}$},
     journal = {J. Symbolic Logic},
     volume = {60},
     number = {1},
     year = {1995},
     pages = { 579-590},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744757}
}

Mares, Edwin D. A Star-free Semantics for $\mathbf{R}$. J. Symbolic Logic, Tome 60 (1995) no. 1, pp.  579-590. http://gdmltest.u-ga.fr/item/1183744757/