The Weak Variable Sharing Property
DOI:
https://doi.org/10.18778/0138-0680.2023.05Keywords:
characteristic matrix, relevant logics, variable sharing propertiesAbstract
An algebraic type of structure is shown forth which is such that if it is a characteristic matrix for a logic, then that logic satisfies Meyer's weak variable sharing property. As a corollary, it is shown that RM and all its odd-valued extensions \(\mathbf{RM}_{2n\mathord{-}1}\) satisfy the weak variable sharing property. It is also shown that a proof to the effect that the "fuzzy" version of the relevant logic R satisfies the property is incorrect.
References
A. R. Anderson, N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton University Press, Princeton (1975).
Google Scholar
N. D. Belnap, Entailment and Relevance, Journal of Symbolic Logic, vol. 25(2) (1960), pp. 144–146, DOI: https://doi.org/10.2307/2964210
Google Scholar
R. T. Brady, Completeness Proofs for the Systems RM3 and BN4, Logique et Analyse, vol. 25(97) (1982), pp. 9–32.
Google Scholar
J. Dugundji, Note on a Property of Matrices for Lewis and Langford’s Calculi of Propositions, The Journal of Symbolic Logic, vol. 5(4) (1940), pp. 150–151, DOI: https://doi.org/10.2307/2268175
Google Scholar
J. M. Dunn, Algebraic Completeness Results for R-Mingle and its Extensions, Journal of Symbolic Logic, vol. 35(1) (1970), pp. 1–13, DOI: https://doi.org/10.1017/S0022481200092161
Google Scholar
R. K. Meyer, R-Mingle and Relevant Disjunction, Journal of Symbolic Logic, vol. 36(2) (1971), p. 366, DOI: https://doi.org/10.2307/2270323
Google Scholar
T. F. Øgaard, Non-Boolean Classical Relevant Logics II: Classicality Through Truth-Constants, Synthese, vol. 199 (2021), pp. 6169–6201, DOI: https://doi.org/10.1007/s11229-021-03065-z
Google Scholar
G. Robles, The Quasi-Relevant 3-Valued Logic RM3 and some of its Sublogics Lacking the Variable-Sharing Property, Reports on Mathematical Logic, vol. 51 (2016), pp. 105–131, DOI: https://doi.org/10.4467/20842589RM.16.008.5285
Google Scholar
G. Robles, J. M. Méndez, A Companion to Brady’s 4-Valued Relevant Logic BN4: The 4-Valued Logic of Entailment E4, Logic Journal of the IGPL, vol. 24(5) (2016), pp. 838–858, DOI: https://doi.org/10.1093/jigpal/jzw011
Google Scholar
E. Schechter, Equivalents of Mingle and Positive Paradox, Studia Logica, vol. 77(1) (2004), pp. 117–128, DOI: https://doi.org/10.2307/20016611
Google Scholar
J. Slaney, MaGIC, Matrix Generator for Implication Connectives: Release 2.1 Notes and Guide, Tech. Rep. TR-ARP-11/95, Automated Reasoning Project, Australian National University (1995).
Google Scholar
J. K. Slaney, Computers and Relevant Logic: A Project in Computing Matrix Model Structures for Propositional Logics, Ph.D. thesis, Australian National University (1980), DOI: https://doi.org/10.25911/5d7396e3ab2c0
Google Scholar
E. Yang, R and Relevance Principle Revisited, Journal of Philosophical Logic, vol. 42(5) (2013), pp. 767–782, DOI: https://doi.org/10.1007/s10992-012-9247-1
Google Scholar
E. Yang, Substructural Fuzzy-Relevance Logic, Notre Dame Journal of Formal Logic, vol. 56(3) (2015), pp. 471–491, DOI: https://doi.org/10.1215/00294527-3132824
Google Scholar
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
