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
|