MoL-2013-10: Zhao, Zhiguang (2013) Algebraic Canonicity in Non-Classical Logics. [Report]
Preview |
Text (Full Text)
MoL-2013-10.text.pdf Download (579kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
MoL-2013-10.abstract.txt Download (636B) |
Abstract
This thesis is a study of the notion of canonicity (as is understood
e.g. in modal logic) from an algebraic viewpoint. The main conceptual
contribution of this thesis is a better understanding of the
connection between the Jónsson-style canonicity proof and the
canonicity-via-correspondence. The main results of this thesis include
an ALBA-aided Jónsson-style canonicity proof for inductive
inequalities in distributive modal logic and a Jónsson-style
canonicity proof for a certain fragment of the distributive modal
μ-calculus.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2013-10 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2013 |
| Uncontrolled Keywords: | Logic; Mathematics |
| Date Deposited: | 12 Oct 2016 14:38 |
| Last Modified: | 12 Oct 2016 14:38 |
| URI: | https://eprints.illc.uva.nl/id/eprint/899 |
Actions (login required)
 |
View Item |
