scientific article; zbMATH DE number 3811640

MaRDI QIDQ3659833zbMATH OpenFDO

Authors Peter Köhler

Publication date 1982

Full work available at URL https://eudml.org/doc/209249

zbMATH Keywords

Brouwerian semilatticefinite meet of meet-irreduciblesgeneralized Boolean semilatticelattice of filtersmeet-semilatticetotal subalgebra lattice

Mathematics Subject Classification ID

Semilattices (06A12) Structure and representation theory of distributive lattices (06D05) Pseudocomplemented lattices (06D15) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited in

(6)

• Adjoint maps between implicative semilattices and continuity of localic maps
• Nuclear ranges in implicative semilattices
• scientific article; zbMATH DE number 2064055 (Why is no real title available?)
• Intuitionistic-like unsharp implication and negation defined on a poset.
• Algebraic structures formalizing the logic with unsharp implication and negation
• Joins of subalgebras and normals in 0-regular varieties

This page was built for publication:

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