Logic on the n-cube

DOI10.1093/LOGCOM/EXT033zbMATH Open1444.03182OpenAlexW2963027051MaRDI QIDQ2804336FDOQ2804336

Authors Daniele Mundici

Publication date 28 April 2016

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1207.5717

zbMATH Keywords

De Luca-Termini sharpening orderlogics admitting inconsistencynonmonotonic conjunctionPost algebras of order 3Rota-Metropolis cubic logicŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53) Other algebras related to logic (03G25) Logical aspects of ?ukasiewicz and Post algebras (03G20)

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.

Recommendations

• scientific article; zbMATH DE number 1182846
• scientific article; zbMATH DE number 4012583
• Cubic logic, Ulam games, and paraconsistency
• Structures of opposition induced by relations. The Boolean and the gradual cases
• A cube of opposition for predicate logic

Cited in

(2)

• scientific article; zbMATH DE number 1418442 (Why is no real title available?)
• Dyck algebras, interval temporal logic, and posets of intervals

This page was built for publication: Logic on the \(n\)-cube

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804336)