Logic on then-cube

DOI10.1093/logcom/ext033zbMath1444.03182arXiv1207.5717OpenAlexW2963027051MaRDI QIDQ2804336

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Dyck Algebras, Interval Temporal Logic, and Posets of Intervals

This page was built for publication: Logic on then-cube