“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 | |||||
