A general characterization of the variable-sharing property by means of logical matrices. (English) Zbl 1254.03041

The authors consider: the standard (weak) variable sharing property; the strong variable sharing property: if \(A \to B\) is provable, some variable occurs as an antecedent part (ap) (i.e. negatively) or as a consequent part (cp) (i.e. positively) in both \(A\) and \(B\); the no loose pieces property (known also as the 2-property): if \(A\) is provable and contains no conjunction as an ap or disjunction as a cp, then every variable occurs once as an ap and once as a cp. All subsystems of the relevance logic R have these properties, however there are, as the authors show, other systems that have one or more of these properties. They define matrices, which, if they verify the logic, determine which of these properties hold.


03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Full Text: DOI Euclid


[1] Anderson, A. R., and N. D. Belnap, Jr., Entailment. The Logic of Relevance and Necessity. Volume I , Princeton University Press, Princeton, 1975. · Zbl 0323.02030
[2] Avron, A., ”Relevant entailment–Semantics and formal systems”, The Journal of Symbolic Logic , vol. 49 (1984), pp. 334-42. · Zbl 0586.03017
[3] Brady, R. T., editor, Relevant Logics and Their Rivals. Vol. II , Ashgate, Farnham, 2003. · Zbl 1044.03014
[4] Brady, R. T., ”Completeness proofs for the systems \({\mathrm RM}3\)” and \({\mathrm BN}4\), Logique et Analyse. Nouvelle Série , vol. 25 (1982), pp. 9-32. · Zbl 0498.03012
[5] Brady, R. T., ”Depth relevance of some paraconsistent logics”, Studia Logica , vol. 43 (1984), pp. 63-73. · Zbl 0581.03014
[6] Humberstone, L., and R. K. Meyer, ”The relevant equivalence property”, Logic Journal of the IGPL , vol. 15 (2007), pp. 165-81. · Zbl 1128.03012
[7] Méndez, J. M., ”The compatibility of relevance and mingle”, Journal of Philosophical Logic , vol. 17 (1988), pp. 279-97. · Zbl 0651.03016
[8] Méndez, J. M., ”Erratum to: The compatibility of relevance and mingle”, Journal of Philosophical Logic , vol. 39 (2010), p. 339.
[9] Robles, G., and J. M. Méndez, ”Deep relevant logics not included in R-mingle”. in preparation.
[10] Routley, R., V. Plumwood, R. K. Meyer, and R. T. Brady, Relevant Logics and Their Rivals. Part I. The Basic Philosophical and Semantical Theory , Ridgeview Publishing Co., Atascadero, 1982. · Zbl 0579.03011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.