Frontal operators in distributive lattices with a generalized implication.
From MaRDI portal
Publication:3452702
DOI10.1142/S1793557115500394zbMATH Open1332.06034OpenAlexW1854559874MaRDI QIDQ3452702FDOQ3452702
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
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
Logical aspects of lattices and related structures (03G10) Topological representations of algebraic systems (54H10) Lattices and duality (06D50)
Cites Work
- Representation of Distributive Lattices by means of ordered Stone Spaces
- A closer look at some subintuitionistic logics
- The modalized Heyting calculus: a conservative modal extension of the intuitionistic logic
- Bounded distributive lattices with strict implication
- Remarks on Priestley duality for distributive lattices
- Title not available (Why is that?)
- Quasi-modal lattices
- Distributive lattices with a generalized implication: topological duality
Cited In (4)
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)
