On Hilbert algebras generated by the order

DOI10.1007/S00153-021-00777-4MaRDI QIDQ2118173zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Some latticial properties of Hilbert algebras
• scientific article; zbMATH DE number 4148084
• A note on Hilbert algebras
• The variety generated by order algebras.
• Pure Hilbert Algebras with Infimum

Cites work

• _1-completions of a poset.
• A note on homomorphisms of Hilbert algebras
• scientific article; zbMATH DE number 2185244 (Why is no real title available?)
• scientific article; zbMATH DE number 3935100 (Why is no real title available?)
• scientific article; zbMATH DE number 2024859 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• ORDER ALGEBRAS
• Prelinear Hilbert algebras
• Prior's OIC nonconservativity example revisited
• Representation and duality for Hilbert algebras
• Some latticial properties of Hilbert algebras
• Some results for implicational calculi
• The free completely distributive lattice over a poset
• The separation theorem of intuitionist propositional calculus

Cited in

(3)

• On the variety of strong subresiduated lattices
• On the quasivariety of sub-Hilbert algebras
• Generator induction in order sorted algebras

Describes a project that uses

Uses Software

• OEIS

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

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