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)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAE100

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites work

• A constructive analysis of RM
• Boolean product representations of algebras via binary polynomials
• Boolean-like algebras
• Boolean-like algebras of finite dimension: from Boolean products to semiring products
• Classical logic with n truth values as a symmetric many-valued logic
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• From λ-Calculus to Universal Algebra and Back
• scientific article; zbMATH DE number 446843 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1341466 (Why is no real title available?)
• Logic for Programming, Artificial Intelligence, and Reasoning
• On noncommutative generalisations of Boolean algebras
• On semi-Boolean-like algebras.
• On the duality of proofs and countermodels in labelled sequent calculi
• Proof theory for locally finite many-valued logics: semi-projective logics
• Refutation systems: an overview and some applications to philosophical logics
• Sequents in many valued logic I
• Skew Boolean algebras
• Varieties in which the Pierce stalks are directly indecomposable

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)