Advances in Proof-Theoretic Semantics
Dublin Core
Title
Advances in Proof-Theoretic Semantics
Subject
Advances in Proof-Theoretic Semantics
Description
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 of constructions, paradoxical reasoning, and the defence of model theory
Creator
Thomas Piecha --- Peter Schroeder-Heister
Source
https://link.springer.com/content/pdf/10.1007%2F978-3-319-22686-6.pdf
Publisher
Springer
Date
2016
Contributor
Baihaqi
Rights
Creative Commons
Format
PDF
Language
English
Type
Textbooks
Files
Collection
Citation
Thomas Piecha --- Peter Schroeder-Heister, “Advances in Proof-Theoretic Semantics,” Open Educational Resource (OER) - USK Library, accessed April 24, 2025, http://202.4.186.74:8004/oer/items/show/3617.