Jónsson-style canonicity for ALBA-inequalities
Journal Article
(2017)
Author(s)
Alessandra Palmigiano (TU Delft - Ethics & Philosophy of Technology)
Sumit Sourabh (Universiteit van Amsterdam)
Z. Zhao (TU Delft - Ethics & Philosophy of Technology)
DOI related publication
https://doi.org/10.1093/logcom/exv041
To reference this document use:
https://resolver.tudelft.nl/uuid:6a01f68b-3d73-448f-bb98-20bdd006cf21
More Info
expand_more
expand_more
Publication Year
2017
Language
English
Issue number
1
Volume number
27
Pages (from-to)
817–865
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.
No files available
Metadata only record. There are no files for this record.