Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Algebraic aspects of propositional logic
In this dissertation, we seek to examine the connection between abstract algebra and propositional logic. We start by considering the category Bool of Boolean algebras, the algebraic counterpart of classical propositional logic. We provide an algebraic definition of theories and models of classical...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English English |
| Published: |
Department of Mathematics and Applied Mathematics
2025
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!