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
id ftunivamstpubl:oai:dare.uva.nl:openaire_cris_publications/b01a59ae-7e95-4328-8518-aa277be78788
record_format openpolar
spelling ftunivamstpubl:oai:dare.uva.nl:openaire_cris_publications/b01a59ae-7e95-4328-8518-aa277be78788 2024-09-30T14:34:09+00:00 Jónsson-style canonicity for ALBA-inequalities Palmigiano, A. Sourabh, S. Zhao, Z. 2017 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 eng eng https://dare.uva.nl/personal/pure/en/publications/jonssonstyle-canonicity-for-albainequalities(b01a59ae-7e95-4328-8518-aa277be78788).html info:eu-repo/semantics/closedAccess Palmigiano , A , Sourabh , S & Zhao , Z 2017 , ' Jónsson-style canonicity for ALBA-inequalities ' , Journal of Logic and Computation , vol. 27 , no. 3 , pp. 817-865 . https://doi.org/10.1093/logcom/exv041 article 2017 ftunivamstpubl https://doi.org/10.1093/logcom/exv041 2024-09-12T16:38:30Z 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. Article in Journal/Newspaper DML Universiteit van Amsterdam: Digital Academic Repository (UvA DARE) Journal of Logic and Computation 27 3 817 865
institution Open Polar
collection Universiteit van Amsterdam: Digital Academic Repository (UvA DARE)
op_collection_id ftunivamstpubl
language English
description 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.
format Article in Journal/Newspaper
author Palmigiano, A.
Sourabh, S.
Zhao, Z.
spellingShingle Palmigiano, A.
Sourabh, S.
Zhao, Z.
Jónsson-style canonicity for ALBA-inequalities
author_facet Palmigiano, A.
Sourabh, S.
Zhao, Z.
author_sort Palmigiano, A.
title Jónsson-style canonicity for ALBA-inequalities
title_short Jónsson-style canonicity for ALBA-inequalities
title_full Jónsson-style canonicity for ALBA-inequalities
title_fullStr Jónsson-style canonicity for ALBA-inequalities
title_full_unstemmed Jónsson-style canonicity for ALBA-inequalities
title_sort jónsson-style canonicity for alba-inequalities
publishDate 2017
url 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
genre DML
genre_facet DML
op_source Palmigiano , A , Sourabh , S & Zhao , Z 2017 , ' Jónsson-style canonicity for ALBA-inequalities ' , Journal of Logic and Computation , vol. 27 , no. 3 , pp. 817-865 . https://doi.org/10.1093/logcom/exv041
op_relation https://dare.uva.nl/personal/pure/en/publications/jonssonstyle-canonicity-for-albainequalities(b01a59ae-7e95-4328-8518-aa277be78788).html
op_rights info:eu-repo/semantics/closedAccess
op_doi https://doi.org/10.1093/logcom/exv041
container_title Journal of Logic and Computation
container_volume 27
container_issue 3
container_start_page 817
op_container_end_page 865
_version_ 1811637844873052160

Similar Items