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.