Advances in Proof-Theoretic Semantics
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...
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Piecha, Thomas (Editor), Schroeder-Heister, Peter (Editor) |
Format: | Electronic eBook |
Language: | English |
Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
Edition: | 1st ed. 2016. |
Series: | Trends in Logic, Studia Logica Library,
43 |
Subjects: | |
Online Access: | Link to Metadata |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Advances in Proof-Theoretic Semantics
Published: (2016) -
Advances in Proof-Theoretic Semantics
Published: (2016) -
Peter Schroeder-Heister on Proof-Theoretic Semantics
Published: (2024) -
Inquisitive Logic Consequence and Inference in the Realm of Questions /
by: Ciardelli, Ivano
Published: (2022) -
The Logical Writings of Karl Popper
Published: (2022)