Many−Valued First−Order Logics with Probabilistic Semantics
<p>We present n-valued first-order logics with a purely probabilistic semantics. We then introduce a new probabilistic semantics of n-valued first-order logics that lies between the purely probabilistic semantics and the truth-functional semantics of the n-valued Lukasiewicz logics L_n. Within...
| 主要作者: | |
|---|---|
| 格式: | Conference item |
| 出版: |
Springer
1999
|