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

Grantor dc:publisher.institution

Department of Mathematics and Applied Mathematics

Year dc:date.issued

2024

Author dc:creator

• Leisegang, Nicholas

Advisors dc:contributor.advisor

• Janelidze-Gray, Tamar
• Janelidze, George

• Bool of Boolean algebras

Language dc:language.iso

en

Handle dc:identifier.uri

http://hdl.handle.net/11427/41004

OAI identifier oai:identifier

oai:open.uct.ac.za:11427/41004