Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
http://thuvienso.vanlanguni.edu.vn/handle/Vanlang_TV/34535| Nhan đề: | Advances in Proof-Theoretic Semantics |
| Tác giả: | Thomas Piecha Peter Schroeder-Heister |
| Từ khoá: | Gentzen’s approach to meaning foundations of logic general proof theory theory of constructions |
| Năm xuất bản: | 2016 |
| Nhà xuất bản: | Springer |
| Tóm tắt: | 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. |
| Mô tả: | vii, 283 p. : ill ; https://doi.org/10.1007/978-3-319-22686-6 CC BY-NC |
| Định danh: | http://thuvienso.vanlanguni.edu.vn/handle/Vanlang_TV/34535 |
| ISBN: | 978-3-319-22686-6 |
| Bộ sưu tập: | Xã hội học_TLNM_SACH |
Các tập tin trong tài liệu này:
| Tập tin | Mô tả | Kích thước | Định dạng | |
|---|---|---|---|---|
| SA11263_1_AdvancesInProof-TheoreticSeman_Front matter.pdf | Front matter | 250.05 kB | Adobe PDF | Xem/Tải về |
| SA11263_2_AdvancesInProof-TheoreticSeman_Contents.pdf | Contents | 54.46 kB | Adobe PDF | Xem/Tải về |
| SA11263_3_AdvancesInProof-TheoreticSeman_Chapter 1.pdf | Advances in Proof-Theoretic Semantics: Introduction | 66.71 kB | Adobe PDF | Xem/Tải về |
| SA11263_4_AdvancesInProof-TheoreticSeman_Chapter 2.pdf | On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning | 199.08 kB | Adobe PDF | Xem/Tải về |
| SA11263_5_AdvancesInProof-TheoreticSeman_Chapter 3.pdf | Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause | 359.29 kB | Adobe PDF | Xem/Tải về |
| SA11263_6_AdvancesInProof-TheoreticSeman_Chapter 4.pdf | On the Paths of Categ | 125.79 kB | Adobe PDF | Xem/Tải về |
| SA11263_7_AdvancesInProof-TheoreticSeman_Chapter 5.pdf | Some Remarks on Proof-Theoretic Semantics | 159.01 kB | Adobe PDF | Xem/Tải về |
| SA11263_8_AdvancesInProof-TheoreticSeman_Chapter 6.pdf | Categorical Harmony and Paradoxes in Proof-Theoretic Semantics | 153.29 kB | Adobe PDF | Xem/Tải về |
| SA11263_9_AdvancesInProof-TheoreticSeman_Chapter 7.pdf | The Paradox of Knowability from an Intuitionistic Standpoint | 219.48 kB | Adobe PDF | Xem/Tải về |
| SA11263_10_AdvancesInProof-TheoreticSeman_Chapter 8.pdf | Explicit Composition and Its Application in Proofs of Normaliza | 160.95 kB | Adobe PDF | Xem/Tải về |
| SA11263_11_AdvancesInProof-TheoreticSeman_Chapter 9.pdf | Towards a Proof-Theoretic Semantics of Equalities | 109.1 kB | Adobe PDF | Xem/Tải về |
| SA11263_12_AdvancesInProof-TheoreticSeman_Chapter 10.pdf | On the Proof-Theoretic Foundations of Set Theory | 114.62 kB | Adobe PDF | Xem/Tải về |
| SA11263_13_AdvancesInProof-TheoreticSeman_Chapter 11.pdf | A Strongly Differing Opinion on Proof-Theoretic Semantics? | 172.78 kB | Adobe PDF | Xem/Tải về |
| SA11263_14_AdvancesInProof-TheoreticSeman_Chapter 12.pdf | Comments on an Opinion | 73.86 kB | Adobe PDF | Xem/Tải về |
| SA11263_15_AdvancesInProof-TheoreticSeman_Chapter 13.pdf | On Dummett’s “Proof-Theoretic Justifications of Logical Laws” | 149.27 kB | Adobe PDF | Xem/Tải về |
| SA11263_16_AdvancesInProof-TheoreticSeman_Chapter 14.pdf | Self-contradictory Reasoning | 173.47 kB | Adobe PDF | Xem/Tải về |
| SA11263_17_AdvancesInProof-TheoreticSeman_Chapter 15.pdf | Completeness in Proof-Theoretic Semantics | 206.34 kB | Adobe PDF | Xem/Tải về |
| SA11263_18_AdvancesInProof-TheoreticSeman_Chapter 16.pdf | Open Problems in Proof-Theoretic Semant | 250.76 kB | Adobe PDF | Xem/Tải về |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.