Topics, Non-Uniform Substitutions, and Variable Sharing

Shawn Standefer, Shay Allen Logan, Thomas Macaulay Ferguson

The family of relevant logics can be faceted by a hierarchy of increasingly fine-grained variable sharing properties -- requiring that in valid entailments $A\to B$, some atom must…