. . "[E2D02F8D27A4]" . . "1"^^ . "1"^^ . . . . . . . "International Journal of Approximate Reasoning" . "0888-613X" . "Kroupa, Tom\u00E1\u0161" . . "171136" . . "States in Lukasiewicz logic correspond to probabilities of rational polyhedra"@en . "13"^^ . "state; Lukasiewicz logic; rational polyhedron"@en . . "It will be shown that probabilities of infinite-valued events represented by formulas in Lukasiewicz 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 Lukasiewicz logic."@en . "States in Lukasiewicz logic correspond to probabilities of rational polyhedra" . . "4" . "53" . "It will be shown that probabilities of infinite-valued events represented by formulas in Lukasiewicz 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 Lukasiewicz logic." . "000302970000001" . "10.1016/j.ijar.2011.10.007" . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "States in Lukasiewicz logic correspond to probabilities of rational polyhedra"@en . . "P(1M0572), P(GA201/09/1891), Z(AV0Z10750506)" . . "RIV/67985556:_____/12:00376409" . "States in Lukasiewicz logic correspond to probabilities of rational polyhedra" . . . "RIV/67985556:_____/12:00376409!RIV13-MSM-67985556" . .