MoL-2013-10: Algebraic Canonicity in Non-Classical Logics

MoL-2013-10: Zhao, Zhiguang (2013) Algebraic Canonicity in Non-Classical Logics. [Report]

Text (Full Text)

Download (579kB) | Preview
[img] Text (Abstract)

Download (636B)


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

Actions (login required)

View Item View Item