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...

Celý popis

Podrobná bibliografie
Hlavní autor: Lukasiewicz, T
Médium: Conference item
Vydáno: Springer 1999