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 July 15, 2024, http://uilis.usk.ac.id/oer/items/show/3617.

Document Viewer