Relevance Logic and Semiotics: Proof-Theoretic Correspondence via Variable/Interpretant Sharing
Abstract
We show that relevance logic with variable-sharing constraints and semiotic systems based on interpretant-sharing. The equivalence is established at the level of axiomatic systems, sequent calculi, proof trees.
Fields of Study & Subjects
Advanced Algebra and Logic
Logic
Reasoning
and Knowledge
programming
and type systems
Publication details
- Journal / source
- PhilPapers (PhilPapers Foundation)
- Publication date
- 4 March 2026
- Language
- EN