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

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur: Lukasiewicz, T
Fformat: Conference item
Cyhoeddwyd: Springer 1999