profile picture

Shawn Standefer

Tohoku University
 More details
  • Variable-Sharing as Relevance
    Shawn Standefer
    In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic, Springer. pp. 97-117. 2025.
    A challenge for relevant logicians is to delimit their area of study. I propose and explore the definition of a relevant logic as a logic satisfying a variable-sharing property and closed under detachment and adjunction. This definition is, I argue, a good definition that captures many familiar logics and raises interesting new questions concerning relevant logics.
  • Logical methods
    Greg Restall and Shawn Standefer
    The MIT Press. 2023.
    An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.