On prelinear Hilbert algebras with successor

DOI10.1016/j.fss.2019.07.005zbMath1464.06006OpenAlexW2963855662WikidataQ127436954 ScholiaQ127436954MaRDI QIDQ2035276

Yanyan Li

Publication date: 24 June 2021

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

Full work available at URL: https://doi.org/10.1016/j.fss.2019.07.005

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert algebras with supremum
• On products of posets and coproducts of KM-algebras
• On the free frontal implicative semilattice extension of a frontal Hilbert algebra
• 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 some classes of Heyting algebras with successor that have the amalgamation property
• On Priestley spaces of lattice-ordered algebraic structures
• Prelinear Hilbert algebras
• Computing coproducts of finitely presented Gödel algebras
• On the free implicative semilattice extension of a Hilbert algebra
• An algebraic approach to intuitionistic connectives
• On frontal operators in Hilbert algebras
• A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
• Easkia Duality and Its Extensions
• Logic KM: A Biography
• Logic with truth values in A linearly ordered heyting algebra
• The separation theorem of intuitionist propositional calculus

This page was built for publication: On prelinear Hilbert algebras with successor