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 Gent...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | , |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer International Publishing : Imprint: Springer,
2016.
|
| Loạt: | Trends in Logic, Studia Logica Library,
43 |
| Những chủ đề: | |
| Truy cập trực tuyến: | http://dx.doi.org/10.1007/978-3-319-22686-6 |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|