Theory of Graded Consequence A General Framework for Logics of Uncertainty /
| Những tác giả chính: | , |
|---|---|
| Tác giả của công ty: | |
| Tóm tắt: | XIII, 224 p. 16 illus. text |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2019.
|
| Phiên bản: | 1st ed. 2019. |
| Loạt: | Logic in Asia: Studia Logica Library,
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-981-13-8896-5 |
| Định dạng: | Điện tử Sách |
Mục lục:
- Introduction
- Basics of GCT
- Incorporating Negation in object language
- Proof theory for graded consequence
- Relationship with some other consequence operators and relations
- Suggested applications.