On Hilbert algebras generated by the order

DOI10.1007/S00153-021-00777-4OpenAlexW3168816907MaRDI QIDQ2118173

Yanyan Li

Publication date: 22 March 2022

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-021-00777-4

zbMATH Keywords

fragments of intuitionistic logicorder algebrassubvarieties of Hilbert algebras

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Complete lattices, completions (06B23) Heyting algebras (lattice-theoretic aspects) (06D20) Ordered semigroups and monoids (06F05)

Related Items (1)

On the variety of strong subresiduated lattices

Uses Software

• OEIS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representation and duality for Hilbert algebras
• The free completely distributive lattice over a poset
• A note on homomorphisms of Hilbert algebras
• \(\Delta_1\)-completions of a poset.
• Prelinear Hilbert algebras
• ORDER ALGEBRAS
• Prior’s OIC nonconservativity example revisited
• Some results for implicational calculi
• The separation theorem of intuitionist propositional calculus

This page was built for publication: On Hilbert algebras generated by the order