|
|||||
|
|
Logics for Approximate Entailment in ordered universes of discourse |
|
| Institution: | 1. Johannes Kepler University Linz, Altenberger Straße 69, 4040 Linz, Austria;2. IIIA-CSIC, Campus of the UAB s/n, 08193 Bellaterra, Spain |
| Abstract: | |
| Keywords: | Approximate reasoning Logic of Approximate Entailment Conjuncitve combination of conclusions Ordered universe of discourse Modal logic S4 3 |
| 本文献已被 ScienceDirect 等数据库收录！ | |