Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.09043 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910299683028992 |
|---|---|
| author | Li, Wenxi Wang, Zhongzhi |
| author_facet | Li, Wenxi Wang, Zhongzhi |
| contents | Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gröebner-Shirshov basis theory to furnish an algebraic framework for deduction and proof grounded in atoms of propositional logic. The result is an algebraic approach to proving propositions in propositional logic. To illustrate the effectiveness and constraints of this method, we conclude with several specific examples. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_09043 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On propositional logic semirings Li, Wenxi Wang, Zhongzhi Logic 03B05, 13P10, 16Y60 Propositional logic serves as a fundamental cornerstone in mathematical logic. This paper delves into a semiring characterization of propositional logic, employing the Gröebner-Shirshov basis theory to furnish an algebraic framework for deduction and proof grounded in atoms of propositional logic. The result is an algebraic approach to proving propositions in propositional logic. To illustrate the effectiveness and constraints of this method, we conclude with several specific examples. |
| title | On propositional logic semirings |
| topic | Logic 03B05, 13P10, 16Y60 |
| url | https://arxiv.org/abs/2401.09043 |