Algebraic aspects of propositional logic
| dc.contributor.advisor | Janelidze-Gray, Tamar | |
| dc.contributor.advisor | Janelidze, George | |
| dc.contributor.author | Leisegang, Nicholas | |
| dc.date.accessioned | 2025-02-25T07:51:45Z | |
| dc.date.available | 2025-02-25T07:51:45Z | |
| dc.date.issued | 2024 | |
| dc.date.updated | 2025-02-25T07:48:42Z | |
| dc.description.abstract | 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 logic and provide algebraic algorithms to determine whether a chosen formula is a theorem of a given theory of classical logic. In order to generalize this approach, we then describe varieties of universal algebra and some of their properties. Using this framework, we show in a general setting how a formal theory of propositional logic induces a variety of universal algebra in which logical connectives become algebraic operations and logical formulae are considered equal when they are logically equivalent. We then discuss algebraic varieties corresponding to various non-classical propositional logics. In particular, we consider the variety of Heyting algebras Heyt which corresponds to intuitionistic logic, and certain subvarieties of Heyt which correspond to intermediate logics. We then describe several algebraic varieties which correspond to theories of normal modal logic. Moreover, by considering free algebras and completeness in Heyt, we establish that we are unable to use the same methods used in Bool to construct algorithms to determine theorems of intuitionistic logic. Lastly, we construct an adjunction between Heyt and the category of topological Boolean algebras, and through this show that we again cannot construct similar algebraic algorithms to determine theorems in the modal logic S4. | |
| dc.identifier.apacitation | Leisegang, N. (2024). <i>Algebraic aspects of propositional logic</i>. (). University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics. Retrieved from http://hdl.handle.net/11427/41004 | en_ZA |
| dc.identifier.chicagocitation | Leisegang, Nicholas. <i>"Algebraic aspects of propositional logic."</i> ., University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 2024. http://hdl.handle.net/11427/41004 | en_ZA |
| dc.identifier.citation | Leisegang, N. 2024. Algebraic aspects of propositional logic. . University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics. http://hdl.handle.net/11427/41004 | en_ZA |
| dc.identifier.ris | TY - Thesis / Dissertation AU - Leisegang, Nicholas AB - 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 logic and provide algebraic algorithms to determine whether a chosen formula is a theorem of a given theory of classical logic. In order to generalize this approach, we then describe varieties of universal algebra and some of their properties. Using this framework, we show in a general setting how a formal theory of propositional logic induces a variety of universal algebra in which logical connectives become algebraic operations and logical formulae are considered equal when they are logically equivalent. We then discuss algebraic varieties corresponding to various non-classical propositional logics. In particular, we consider the variety of Heyting algebras Heyt which corresponds to intuitionistic logic, and certain subvarieties of Heyt which correspond to intermediate logics. We then describe several algebraic varieties which correspond to theories of normal modal logic. Moreover, by considering free algebras and completeness in Heyt, we establish that we are unable to use the same methods used in Bool to construct algorithms to determine theorems of intuitionistic logic. Lastly, we construct an adjunction between Heyt and the category of topological Boolean algebras, and through this show that we again cannot construct similar algebraic algorithms to determine theorems in the modal logic S4. DA - 2024 DB - OpenUCT DP - University of Cape Town KW - Bool of Boolean algebras LK - https://open.uct.ac.za PB - University of Cape Town PY - 2024 T1 - Algebraic aspects of propositional logic TI - Algebraic aspects of propositional logic UR - http://hdl.handle.net/11427/41004 ER - | en_ZA |
| dc.identifier.uri | http://hdl.handle.net/11427/41004 | |
| dc.identifier.vancouvercitation | Leisegang N. Algebraic aspects of propositional logic. []. University of Cape Town ,Faculty of Science ,Department of Mathematics and Applied Mathematics, 2024 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/41004 | en_ZA |
| dc.language.iso | en | |
| dc.language.rfc3066 | eng | |
| dc.publisher.department | Department of Mathematics and Applied Mathematics | |
| dc.publisher.faculty | Faculty of Science | |
| dc.publisher.institution | University of Cape Town | |
| dc.subject | Bool of Boolean algebras | |
| dc.title | Algebraic aspects of propositional logic | |
| dc.type | Thesis / Dissertation | |
| dc.type.qualificationlevel | Masters | |
| dc.type.qualificationlevel | MSc |