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

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Convex algebras on an interval with semicontinuous monotone operations

Harald Woracek, Ana Sokolova
1 links
Electronic Notes in Theoretical Informatics and Computer Science
Advanced Algebra and Logic
article

Convex algebras on an interval with semicontinuous monotone operations

Harald Woracek, Ana Sokolova
article en

Abstract

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.

Electronic Notes in Theoretical Informatics and Computer ScienceVol. Volume 6: Proceedings of MFPS...
Openalex Percentile: Top 83%
Advanced Algebra and Logic
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon