Logic on the n-cube

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

Authors: Daniele Mundici 

Publication date: 28 April 2016

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

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.

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

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

zbMATH Keywords

[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic]De Luca-Termini sharpening orderlogics admitting inconsistencynonmonotonic conjunctionPost algebras of order 3Rota-Metropolis cubic 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)

Cited In (2)

• Title not available (Why is that?)
• 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)