On prelinear Hilbert algebras with successor

DOI10.1016/J.FSS.2019.07.005MaRDI QIDQ2035276zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Prelinear Hilbert algebras
• Variations of the free implicative semilattice extension of a Hilbert algebra
• Some categorical properties of Hilbert algebras
• Dualities for bounded prelinear Hilbert algebras
• Computing coproducts of finitely presented Gödel algebras

Cites work

• A logical and algebraic characterization of adjunctions between generalized quasi-varieties
• A note on homomorphisms of Hilbert algebras
• An algebraic approach to intuitionistic connectives
• An algebraic approach to non-classical logics
• Computing coproducts of finitely presented Gödel algebras
• Esakia duality and its extensions
• Hilbert algebras with supremum
• scientific article; zbMATH DE number 3931080 (Why is no real title available?)
• scientific article; zbMATH DE number 3976993 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• Logic KM: A Biography
• Logic with truth values in A linearly ordered heyting algebra
• Metamathematics of fuzzy logic
• On frontal Heyting algebras
• On frontal operators in Hilbert algebras
• On Priestley spaces of lattice-ordered algebraic structures
• On products of posets and coproducts of KM-algebras
• On some classes of Heyting algebras with successor that have the amalgamation property
• On the free frontal implicative semilattice extension of a frontal Hilbert algebra
• On the free implicative semilattice extension of a Hilbert algebra
• On the variety of Heyting algebras with successor generated by all finite chains
• Prelinear Hilbert algebras
• Representation and duality for Hilbert algebras
• Some latticial properties of Hilbert algebras
• The separation theorem of intuitionist propositional calculus

Cited in

(3)

• Prelinear Hilbert algebras
• Variations of the free implicative semilattice extension of a Hilbert algebra
• On the predecessor relation in abstract algebras

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

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