Many-Valued First-Order Logics with Probabilistic Semantics

Thomas Lukasiewicz

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