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!
|
Những quyển sách tương tự: Advances in Proof-Theoretic Semantics
- Proof, Computation and Agency Logic at the Crossroads /
- Truth and Falsehood An Inquiry into Generalized Logical Values /
- Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
- Information and Knowledge A Constructive Type-theoretical Approach /
- The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
- Constructive Negations and Paraconsistency