proof-theoretic semantics

2 articles