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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

State Hoops

  • Anatolij Dvurečenskij,
  • Omid Zahiri,
  • Mona Aaly Kologani,
  • Rajab Ali Borzooei

摘要

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.