State Hoops
摘要
A state is an analogue of a probability measure. Mundici [224] introduced states as averaging processes for formulas in Łukasiewicz logic. States constitute measures on their associated MV-algebras, which generalize the usual probability measures on Boolean algebras.