The weak variable sharing property
Journal article
Published version
![Thumbnail](/bora-xmlui/bitstream/handle/11250/3066129/T.F.%2bOgaard%2c%2bBSL%2c%2b5%2c%2b2023.pdf.jpg?sequence=7&isAllowed=y)
View/ Open
Date
2023Metadata
Show full item recordCollections
- Department of Philosophy [247]
- Registrations from Cristin [10237]
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.