Jónsson-style canonicity for ALBA-inequalities

Journal article (2017)

Authors

A. Palmigiano

Sumit Sourabh Universiteit van Amsterdam

Z. Zhao

Canonical extensions Algorithmic correspondence Canonicity Sahlqvist theory Modal logic Distributive lattices

To reference this document use:

http://resolver.tudelft.nl/uuid:6a01f68b-3d73-448f-bb98-20bdd006cf21

More Info

expand_more

Published Date

2017

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

The theory of canonical extensions typically considers extensions of maps A→B to maps Aδ→Bδ. In the present article, the theory of canonical extensions of maps A→Bδ to maps Aδ→Bδ is developed, and is applied to obtain a new canonicity proof for those inequalities in the language of Distributive Modal Logic (DML) on which the algorithm ALBA [9] is successful.

Files

04ca7dbddca24db154b50f5fe180cf... (pdf)

(pdf | 1.04 Mb)

Download not available