Jónsson-style canonicity for ALBA-inequalities
| Authors |
|
|---|---|
| Publication date | 2017 |
| Journal | Journal of Logic and Computation |
| Volume | Issue number | 27 | 3 |
| Pages (from-to) | 817-865 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1093/logcom/exv041
(Final published version)
|
| Permalink to this page | |