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

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

[img]
Preview
Text (Full Text)
MoL-2013-10.text.pdf

Download (579kB) | Preview
[img] 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 View Item