Theory of Graded Consequence A General Framework for Logics of Uncertainty /
| Հիմնական հեղինակներ: | , |
|---|---|
| Համատեղ հեղինակ: | |
| Ամփոփում: | XIII, 224 p. 16 illus. text |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2019.
|
| Հրատարակություն: | 1st ed. 2019. |
| Շարք: | Logic in Asia: Studia Logica Library,
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://doi.org/10.1007/978-981-13-8896-5 |
| Ձևաչափ: | Էլեկտրոնային Գիրք |
Բովանդակություն:
- Introduction
- Basics of GCT
- Incorporating Negation in object language
- Proof theory for graded consequence
- Relationship with some other consequence operators and relations
- Suggested applications.