Jónsson-style canonicity for ALBA-inequalities
Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao · Journal of Logic and Computation · 2015
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.