Convex algebras on an interval with semicontinuous monotone operations
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.
Authors
- Harald Woracek (ORCID: https://orcid.org/0000-0002-7823-3408)
- Ana Sokolova (ORCID: https://orcid.org/0000-0002-8384-3438)
Publication Details
- Journal
- Electronic Notes in Theoretical Informatics and Computer Science
- Published
- 2026-11-04
- DOI
- https://doi.org/10.46298/entics.19317
- Primary Topic
- Advanced Algebra and Logic
- Type
- article
- Field-Weighted Citation Impact
- 0.00