Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=Schroeder-Heister, Pete...
cover
Advances in Proof-Theoretic Semantics
Comment Share
Piecha, ThomasSchroeder-Heister, Peter

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, Du…

Edition
Ed. 1
ISBN/ISSN
978-3-319-22686-6
Collation
VI, 283
Series Title
Trends in Logic
Call Number
511.3 ADV a