A Class of Simpler Logical Matrices for the Variable-Sharing Property

• Authors: G. Robles , J.M. Méndez
• Languages of publication: EN

Abstracts

EN

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

EN

logical matrices; variable-sharing property; relevant logics

• Publisher: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Journal: Logic and Logical Philosophy
• Year: 2011
• Volume: 20
• Issue: 3
• Pages: 241-249

Dates

published

2011-09-01

online

2013-07-02

Contributors

author

G. Robles

• Dpto. de Psicología, Sociología y Filosofía Universidad de León Campus de Vegazana s/n, 24071, León, Spain http://grobv.unileon.es

author

J.M. Méndez

• Universidad de Salamanca Campus Unamuno, Edificio FES 37007, Salamanca, Spain http://web.usal.es/sefus

References

• [1] Anderson, A.R., and N.D. Belnap Jr., Entailment. The Logic of Relevanceand Necessity, vol. I, Princeton University Press, 1975.
• [2] Méndez, J.M., “The compatibility of Relevance and Mingle”, Journal ofPhilosophical Logic 17 (1988):279-297.[WoS]
• [3] Méndez, J.M., “Erratum to: The Compatibility of Relevance and Mingle”, Journal of Philosophical Logic 39, 3 (2010): 339.[WoS][Crossref]
• [4] Robles, G., and J.M.Méndez, “A general characterization of the variablesharing property by means of logical matrices” (to appear).

Identifiers

DOI

10.12775/LLP.2011.014