Shawn Standefer
- What is a Relevant Connective?
2022/04/09 by Shawn Standefer · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Topics, Non-Uniform Substitutions, and Variable Sharing
2024/09/13 by Shawn Standefer, Standefer, Shawn, Shay Allen Logan +3 · 1 citation
Computer Science · #Advanced Database Systems and Queries #Constraint Satisfaction and Optimization #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
- Symmetry and Completeness in Relevant Epistemic Logic
2025/03/05 by Shawn Standefer, Edwin Mares · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- Constructivism and Relevance
2026/07/28 by Yale Weiss, Shawn Standefer
Computer Science · Psychology · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Philosophy and Theoretical Science