Advances in Proof-Theoretic Semantics
Thomas Piecha, Peter Schroeder‐Heister · Trends in logic · 2015
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of n