Algebraic Semantics for the Logic of Proofs

Abstract: We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In the end, the completeness theorem and certain generalizations of Stone's representation theorem are obtained for all proposed algebras.

This page was built for publication: Algebraic Semantics for the Logic of Proofs

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