“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
| Paper IPM / M / 17373 | ||||||||||||||||||||||
|
||||||||||||||||||||||
| 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 proof terms and equality predicate on terms. Moreover, the completeness theorem and certain generalizations of Stoneâs representation theorem are obtained for all proposed algebras.
Download TeX format |
||||||||||||||||||||||
| back to top | ||||||||||||||||||||||
