The higher dimensional propositional calculus

DOI10.1093/JIGPAL/JZAE100MaRDI QIDQ6922550zbMATH OpenFDO

Authors Antonio Bucciarelli, Pierre-Louis Curien, Antonio Ledda, Francesco Paoli, Antonino Salibra

Publication date 30 September 2025

Published in Logic Journal of the IGPL (Search for Journal in Brave)

zbMATH Keywords

cut eliminationsequent calculusBoolean algebrasBoolean algebras of dimension \(n\)classical logic of dimension \(n\)

Mathematics Subject Classification ID

Classical propositional logic (03B05) Cut-elimination and normal-form theorems (03F05) Logical aspects of Boolean algebras (03G05)

This page was built for publication: The higher dimensional propositional calculus

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