arXiv Analytics

Sign in

arXiv:2106.10931 [math.LO]AbstractReferencesReviewsResources

Algebraic Semantics for the Logic of Proofs

Amir Farahmand Parsa, Meghdad Ghari

Published 2021-06-21Version 1

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.

Comments: 24 pages
Categories: math.LO
Subjects: 03B45
Related articles: Most relevant | Search more
arXiv:1604.06901 [math.LO] (Published 2016-04-23)
Algebraic semantics for hybrid logics
arXiv:math/9805145 [math.LO] (Published 1998-05-15)
Length of Boolean algebras and ultraproducts
arXiv:math/0406531 [math.LO] (Published 2004-06-25)
The depth of ultraproducts of Boolean Algebras

Links

Toolbox