Algebraic Semantics for the Logic of Proofs
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2021
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929677372751872 |
|---|---|
| author | Parsa, Amir Farahmand Ghari, Meghdad |
| author_facet | Parsa, Amir Farahmand Ghari, Meghdad |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2106_10931 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Algebraic Semantics for the Logic of Proofs Parsa, Amir Farahmand Ghari, Meghdad Logic 03B45 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. |
| title | Algebraic Semantics for the Logic of Proofs |
| topic | Logic 03B45 |
| url | https://arxiv.org/abs/2106.10931 |