Equational classes of totally ordered modal lattices

DOI10.1023/A:1006259631226MaRDI QIDQ1970930zbMATH OpenOpenAlexFDO

Authors Alejandro Petrovich

Publication date 23 March 2000

Published in Order (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1006259631226

zbMATH Keywords

dual spacesequational basislattice of subvarietieslattice of varietiesmodal chainmodal latticesmodal spacesPriestley duality

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure and representation theory of distributive lattices (06D05) Lattices and duality (06D50) Lattices of varieties (08B15) Subdirect products and subdirect irreducibility (08B26)

Review text

A modal chain is a bounded totally ordered lattice \(L\) together with a (modal) operator \(j: L\to L\) satisfying \(j(0)= 0\) and \(j(a\vee b)= j(a)\vee j(b)\). Priestley duality for distributive lattices with operators -- as established by Cignoli, Hansoul or the author -- is adapted to the variety CH generated by the modal chains. The dual spaces of the subdirectly irreducible modal chains are characterized. This enables a complete description of the lattice of all subvarieties of CH. Also an equational basis is given for each such subvariety. For instance, CH itself admits the following defining axioms: a) \(j(a\wedge b)= j(a)\wedge j(b)\), b) \((a\wedge j(b))\vee (b\wedge j(a))\leq (a\wedge b)\vee (j(a)\wedge j(b))\).

Recommendations

• Free modal lattices via Priestley duality
• scientific article; zbMATH DE number 3987345
• Modal operators for meet-complemented lattices
• Modal MTL-algebras
• scientific article; zbMATH DE number 5984132

Cited in

(5)

• Relational equations in totally ordered lattices and their complete resolution
• Free modal lattices via Priestley duality
• scientific article; zbMATH DE number 3987345 (Why is no real title available?)
• scientific article; zbMATH DE number 218552 (Why is no real title available?)
• Varieties of unary-determined distributive \ell-magmas and bunched implication algebras

This page was built for publication: Equational classes of totally ordered modal lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1970930)