Nest-representable tolerances
Paolo Lipparini
TL;DR
This paper introduces nest-representable tolerances, a new concept in algebraic structures, and extends previous results on congruence and tolerance identities to this broader framework.
Contribution
It defines nest-representable tolerances and generalizes existing theorems from congruence identities to tolerance identities within this new context.
Findings
Extended results from congruence to tolerance identities
Defined the concept of nest-representable tolerances
Showed applicability of previous theorems to the new setting
Abstract
We introduce the notion of a nest-representable tolerance and show that some results from our former paper "From congruence identities to tolerance identities" [CT] can be extended to this more general setting.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Logic, Reasoning, and Knowledge · semigroups and automata theory