A completeness theorem in proof-theoretic semantics via set-theoretic semantics

Ryo Takemura

We investigate the completeness of intuitionistic logic with respect to Prawitz's proof-theoretic validity. As an intuitionistic natural deduction system, we apply atomic second-or…