Jónsson-style canonicity for ALBA-inequalities

Alessandra Palmigiano; Sumit Sourabh; Zhiguang Zhao

doi:10.1093/logcom/exv041

Jónsson-style canonicity for ALBA-inequalities

Alessandra Palmigiano, Sumit Sourabh, Zhiguang Zhao

Ethics & Philosophy of Technology

Research output: Contribution to journal › Article › Scientific › peer-review

17 Citations (Scopus)

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.

Original language	English
Pages (from-to)	817–865
Journal	Journal of Logic and Computation
Volume	27
Issue number	1
DOIs	https://doi.org/10.1093/logcom/exv041
Publication status	Published - 2017

Keywords

Modal logic
distributive lattices
canonicity
algorithmic correspondence
canonical extensions
Sahlqvist theory

Access to Document

10.1093/logcom/exv041

Cite this

@article{6a01f68b3d73448fbb9820bdd006cf21,

title = "J{\'o}nsson-style canonicity for ALBA-inequalities",

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. ",

keywords = "Modal logic, distributive lattices, canonicity, algorithmic correspondence, canonical extensions, Sahlqvist theory",

author = "Alessandra Palmigiano and Sumit Sourabh and Zhiguang Zhao",

year = "2017",

doi = "10.1093/logcom/exv041",

language = "English",

volume = "27",

pages = "817–865",

journal = "Journal of Logic and Computation",

publisher = "Oxford University Press",

number = "1",

}

TY - JOUR

T1 - Jónsson-style canonicity for ALBA-inequalities

AU - Palmigiano, Alessandra

AU - Sourabh, Sumit

AU - Zhao, Zhiguang

PY - 2017

Y1 - 2017

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

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

KW - Modal logic

KW - distributive lattices

KW - canonicity

KW - algorithmic correspondence

KW - canonical extensions

KW - Sahlqvist theory

U2 - 10.1093/logcom/exv041

DO - 10.1093/logcom/exv041

M3 - Article

VL - 27

SP - 817

EP - 865

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 1

ER -

Jónsson-style canonicity for ALBA-inequalities

Abstract

Keywords

Access to Document

Fingerprint

Cite this