Topics, non-Uniform Substitutions, and variable Sharing

Shawn Standefer, Shay Allen Logan, Thomas M. Ferguson. Topics, non-Uniform Substitutions, and variable Sharing. Rew. Symb. Logic, 18(4):1090-1120, 2025. [doi]

Abstract

Abstract is missing.