Algebraic logic is a subfield of mathematical logic that explores logical systems through the lens of algebraic semantics. It primarily capitalize on the Linbenbaum-Tarski completeness theorem for classical logic, which demonstrates completeness with respect to the two-element Boolean algebra. This approach can be similarly applied to various logical systems, achieving completeness by correlating them with different types of algebraic structures. In this course, we will introduce basic algebraid logic and touch upon abstract algebraic logic (AAL) and Universal algebraic logic (UAL) in the end of the semester. We will demonstrate how algebraization serves as a general theory for logical systems.
Literature - Czech
Last update: Chun-Yu Lin (07.02.2024)
There are several references for this course :
Tommaso Moraschini, ”The Algebra of Logic”, Lecture Note : https://moraschini.github.io/files/teaching/AL.pdf