The weak variable sharing property
Journal article
Published version

Åpne
Permanent lenke
https://hdl.handle.net/11250/3066129Utgivelsesdato
2023Metadata
Vis full innførselSamlinger
- Department of Philosophy [270]
- Registrations from Cristin [11744]
Sammendrag
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.