Answers are grounded in this paper and cite their sources.
In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and satisfy certain semicontinuity properties occurred. We fully classify those algebraic structures by giving an explicit construction of all possible convex operations on [0,1] possessing the mentioned properties. Our result thus describes exactly the range of theories to which Mio's theorem applies.
No takes yet. Share an insight, caveat, or question.
Sokolova et al. (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: