A class of simpler logical matrices for the variable-sharing property
Keywordslogical matrices, variable-sharing property, relevant logics
AbstractIn 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.
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).
How to Cite
Number of views and downloads: 60
Number of citations: 2