A class of simpler logical matrices for the variable-sharing property

Gemma Robles, José M. Méndez

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

Abstract


In our paper “A general characterization of the variable-sharing property by means of logical matrices”, a general class of so-called “Relevant logical matrices”, RMLs, is defined. The aim of this paper is to define a class of simpler Relevant logical matrices RMLs′serving the same purpose that RMLs, to wit: any logic verified by an RML′has the variable-sharing property and related properties predicable of the logic of entailment E and of the logic of relevance R.

Keywords


logical matrices; variable-sharing property; relevant logics

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.

Méndez, J.M., “The compatibility of Relevance and Mingle”, Journal of Philosophical Logic 17 (1988):279–297.

Méndez, J.M., “Erratum to: The Compatibility of Relevance and Mingle”, Journal of Philosophical Logic 39, 3 (2010): 339.

Robles, G., and J.M.Méndez, “A general characterization of the variable-sharing property by means of logical matrices” (to appear).




Bookmark and Share




ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism