Advances In Proof Theoretic Semantics
Trends In Logic 43 Proof theoretic semantics is a branch of mathematical logic that studies the meaning of logical statements in terms of their proofs. It is based on the idea that the meaning of a statement is determined by the way it...