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

• Autorzy: G. Robles , J.M. Méndez
• Języki publikacji: EN

Abstrakty

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.

Słowa kluczowe

EN

logical matrices; variable-sharing property; relevant logics

• Wydawca: Uniwersytet Mikołaja Kopernika (Nicolaus Copernicus University in Toruń)
• Czasopismo: Logic and Logical Philosophy
• Rocznik: 2011
• Tom: 20
• Numer: 3
• Strony: 241-249

Daty

wydano

2011-09-01

online

2013-07-02

Twórcy

autor

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,

autor

J.M. Méndez

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

Bibliografia

• [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).

Identyfikatory

DOI

10.12775/LLP.2011.014