Frontal operators in distributive lattices with a generalized implication.

DOI10.1142/S1793557115500394MaRDI QIDQ3452702zbMATH OpenOpenAlexFDO

Authors

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) Topological representations of algebraic systems (54H10) Lattices and duality (06D50)

Recommendations

• Distributive lattices with a generalized implication: topological duality
• On frontal Heyting algebras
• Bounded distributive lattices with fusion and implication
• Algebras with implication and fusion: a different point of view.
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. I

Cites work

• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• A closer look at some subintuitionistic logics
• Bounded distributive lattices with strict implication
• Distributive lattices with a generalized implication: topological duality
• Quasi-modal lattices
• Remarks on Priestley duality for distributive lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic

Cited in

(4)

• Frontal operators in weak Heyting algebras
• Distributive lattices with a generalized implication: topological duality
• A study on some classes of distributive lattices with a generalized implication
• Monadic distributive lattices and monadic augmented Kripke frames

This page was built for publication: Frontal operators in distributive lattices with a generalized implication.

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