Skip to main content
Article thumbnail
Location of Repository

Methods for Canonicity

By Samuel Jacob Van Gool

Abstract

... we focus on the canonical extension of partially ordered sets, which was defined by algebraic means by Dunn, Gehrke and Palmigiano [9]. We show that it can be obtained alternatively via a generalization of Urquhart and Hartung’s maximal filter-ideal pair construction ([43], [27]). We further give a first-order dual characterization of perfect lattice hemiand homomorphisms, in the spirit of, but different from Gehrke [16], 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 [22]. 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 [7]. 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

Year: 2009
OAI identifier: oai:CiteSeerX.psu:10.1.1.184.9492
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://homepage.mac.com/samvg/... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.