Year: 2012
Type: preprint
Abstract: 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.
Source: arXiv (Cornell University)
Author: Mundici, Daniele
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4394644188