Prelinear Hilbert algebras

DOI10.1016/j.fss.2019.08.008zbMath1464.06005arXiv1809.02171OpenAlexW2969903957MaRDI QIDQ2035275

Yanyan Li

Publication date: 24 June 2021

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.02171

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Special properties of functors (faithful, full, etc.) (18A22) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (2)

On prelinear Hilbert algebras with successor ⋮ On Hilbert algebras generated by the order

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert algebras with supremum
• Gödel algebras free over finite distributive lattices
• Representation and duality for Hilbert algebras
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• A note on homomorphisms of Hilbert algebras
• On Priestley spaces of lattice-ordered algebraic structures
• Variations of the free implicative semilattice extension of a Hilbert algebra
• Computing coproducts of finitely presented Gödel algebras
• Remarks on the W.C. Nemitz's paper 'Semi-Boolean lattices'
• On the free implicative semilattice extension of a Hilbert algebra
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Implicative Semi-Lattices
• Logic with truth values in A linearly ordered heyting algebra
• Representation of Distributive Lattices by means of ordered Stone Spaces
• The separation theorem of intuitionist propositional calculus

This page was built for publication: Prelinear Hilbert algebras