Return to Article Details An Interactive Approach to Proof-Theoretic Semantics Download Download PDF