Jónsson-style canonicity for ALBA-inequalities

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 Distribut...

Full description

Bibliographic Details
Published in:Journal of Logic and Computation
Main Authors: Palmigiano, A., Sourabh, S., Zhao, Z.
Format: Article in Journal/Newspaper
Language:English
Published: 2017
Subjects:
DML
Online Access:https://dare.uva.nl/personal/pure/en/publications/jonssonstyle-canonicity-for-albainequalities(b01a59ae-7e95-4328-8518-aa277be78788).html
https://doi.org/10.1093/logcom/exv041
Description
Summary: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.

Similar Items