Frontal operators in distributive lattices with a generalized implication

DOI10.1142/S1793557115500394zbMath1332.06034OpenAlexW1854559874MaRDI QIDQ3452702

No author found.

Publication date: 13 November 2015

Published in: Asian-European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s1793557115500394

zbMATH Keywords

distributive latticesPriestley dualityfrontal operatorsgeneralized implicationsuccessor operator

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Lattices and duality (06D50) Topological representations of algebraic systems (54H10)

Cites Work

• Distributive lattices with a generalized implication: topological duality
• Remarks on Priestley duality for distributive lattices
• A closer look at some subintuitionistic logics
• Quasi-modal lattices
• The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
• Bounded distributive lattices with strict implication
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Unnamed Item