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

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

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

Download (579kB) | Preview
[thumbnail of Abstract] 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