Jónsson-style canonicity for ALBA-inequalities

None, None; None, None; None, None

Jónsson-style canonicity for ALBA-inequalities

Journal Article (2017)

Author(s)

Alessandra Palmigiano (Ethics & Philosophy of Technology)

Sumit Sourabh (Universiteit van Amsterdam)

Zhiguang Zhao (Ethics & Philosophy of Technology)

Canonical extensions Algorithmic correspondence Canonicity Sahlqvist theory Modal logic Distributive lattices

DOI related publication

https://doi.org/10.1093/logcom/exv041 Final published version

To reference this document use

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

More Info

expand_more

Publication Year

2017

Language

English

Issue number

1

Volume number

27

Pages (from-to)

817–865

Downloads counter

166

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.