|
|
|
||
Last update: Chun-Yu Lin (07.02.2024)
|
|
||
Last update: Chun-Yu Lin (07.02.2024)
There are several references for this course :
|
|
||
Last update: Chun-Yu Lin (07.02.2024)
This course will cover the following topics : • Basic notions of algebraic logic• Lindenbaum-Tarski Process • Abstract Algebraic Logic : Leibniz operator on arbitrary logics • Leibniz hierarchy : Algebraizable/Equivalential/Protoalgebraic logic • Bridge Theorem and Transfer Theorem • Universal Algebraic Logic |