Advances in Proof-Theoretic Semantics

by Peter Schroeder-Heister

Book Overview

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 normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory...

• Format: Paperback
• Language: English
• ISBN: 3319367811
• ISBN13: 9783319367811
• Release Date: August 2016
• Publisher: Springer
• Length: 283 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"