Abstract
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.
Publisher
Uniwersytet Lodzki (University of Lodz)
Reference14 articles.
1. A. R. Anderson, N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton University Press, Princeton (1975).
2. N. D. Belnap, Entailment and Relevance, Journal of Symbolic Logic, vol. 25(2) (1960), pp. 144–146, DOI: https://doi.org/10.2307/2964210
3. R. T. Brady, Completeness Proofs for the Systems RM3 and BN4, Logique et Analyse, vol. 25(97) (1982), pp. 9–32.
4. 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
5. 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