2012/07/24 by Daniele Mundici, Mundici, Daniele
Computer Science · Mathematics · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #math.LO #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1207.5717
arxiv created 2012/07/24 · openalex publication_date 2012/07/24 · arxiv updated 2012/07/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We endow the partially ordered set of nonempty faces of the n-cube with a distinguished 0-dimensional face and three operations that naturally extend the Rota-Metropolis partial operations. While the structures thus obtained turn out to be term-equivalent to Post algebras of order 3, the inclusion order between faces coincides with the De Luca-Termini sharpening order, and yields a compact coNP-complete logic that tolerates a modicum of inconsistency and nonmonotonicity.