MoL-2009-16: Methods for Canonicity

MoL-2009-16: van Gool, Samuel Jacob (2009) Methods for Canonicity. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (634kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (1kB)


In the first part of this thesis, we focus on the canonical extension
of partially ordered sets, which was defined by algebraic means by
Dunn, Gehrke and Palmigiano. We show that it can be obtained
alternatively via a generalization of Urquhart and Hartung’s maximal
filter-ideal pair construction. We further give a first-order dual
characterization of perfect lattice hemi- and homomorphisms, in the
spirit of, but different from Gehrke, and make category-theoretic
observations regarding the canonical extension.

The second part of the thesis concerns the algebraic canonicity proof
of the Sahlqvist fragment for distributive modal logic by Gehrke,
Nagahashi and Venema. We pay particular attention to the additional
operation n, which is crucial to that proof, and show that the proof
can not be straightforwardly translated to an algebraic canonicity
proof of the inductive fragment for distributive modal logic. We
extract requirements on a new version of the operation n, which would
yield a proof of the canonicity of the inductive fragment, and finish
by starting to explore two new perspectives on the magical nature of
the operation n.

Item Type: Report
Report Nr: MoL-2009-16
Series Name: Master of Logic Thesis (MoL) Series
Year: 2009
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item