States in Łukasiewicz logic correspond to probabilities of rational polyhedra Original Research Article

It will be shown that probabilities of infinite-valued events represented by formulas in Łukasiewicz propositional logic are in one-to-one correspondence with tight probability measures over rational polyhedra in the unit hypercube. This result generalizes a recent work on rational measures of polyhedra and provides an elementary geometric approach to reasoning under uncertainty with states in Łukasiewicz logic.