Algebraic Semantics for the Logic of Proofs
Logic
2025-01-17 v2
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.
Cite
@article{arxiv.2106.10931,
title = {Algebraic Semantics for the Logic of Proofs},
author = {Amir Farahmand Parsa and Meghdad Ghari},
journal= {arXiv preprint arXiv:2106.10931},
year = {2025}
}
Comments
28 pages