Dual characterizations for finite lattices via correspondence theory for monotone modal logic

Abstract : We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a hierarchy of pseudovarieties of finite lattices, progressively generalizing finite distributive lattices. This formal connection is mediated through monotone modal logic. Indeed, we adapt the correspondence algorithm ALBA to the setting of monotone modal logic, and we use a certain duality-induced encoding of finite lattices as monotone neighbourhood frames to translate lattice terms into formulas in monotone modal logic.
Document type :
Journal articles
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01054715
Contributor : Sabine Frittella <>
Submitted on : Friday, August 8, 2014 - 11:17:27 AM
Last modification on : Monday, March 4, 2019 - 2:04:14 PM
Long-term archiving on : Tuesday, April 11, 2017 - 7:21:29 PM

File

CorrespondenceLatticesMML.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale. Dual characterizations for finite lattices via correspondence theory for monotone modal logic. Journal of Logic and Computation, Oxford University Press (OUP), 2016, J Logic Computation 2016, ⟨https://academic.oup.com/logcom/article-abstract/doi/10.1093/logcom/exw011/2917872/Dual-characterizations-for-finite-lattices-via?keytype=ref&ijkey=9VLzEFMl0EE1jjs⟩. ⟨10.1093/logcom/exw011⟩. ⟨hal-01054715⟩

Share

Metrics

Record views

256

Files downloads

258