The weak variable sharing property
Journal article
Published version

View/ Open
Date
2023Metadata
Show full item recordCollections
- Department of Philosophy [266]
- Registrations from Cristin [11366]
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 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.