| Authors |
|
| Publication date |
2017
|
| Journal |
Journal of Logic and Computation
|
| Volume | Issue number |
27 | 3
|
| Pages (from-to) |
817-865
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|