証明論的意味論

証明論的意味論（しょうめいろんてきいみろん、英語: proof-theoretic semantics）とは、証明論の一分野であり、論理の意味論へのアプローチである。これによれば、命題および論理結合子の意味は、それらが推論の体系のうちで果たす役割によって説明される。