A modal restriction of R-Mingle with the variable-sharing property

Gemma Robles, José M. Méndez, Francisco Salto

DOI: http://dx.doi.org/10.12775/LLP.2010.013

Abstract


A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.

Keywords


R-Mingle; relevance and entailment logics; variable-sharing property; Ackermann property

Full Text:

PDF

References


Anderson, A.R., and N.D. Belnap, Jr., Entailment. The Logic of Relevance and Necessity, vol. I, Princeton University Press, 1975.

Routley, R., R.K. Meyer, V. Plumwood, and R.T. Brady, Relevant Logics and their Rivals, vol. 1, Atascadero, CA: Ridgeview Publishing Co., 1982.








ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism