Meet-Irreducible Elements in Implicative Lattices

DOI10.2307/2037894zbMath0259.06008OpenAlexW4237238860MaRDI QIDQ5675758

Dorothy P. Smith

Publication date: 1972

Full work available at URL: https://doi.org/10.2307/2037894

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05)

Related Items

Undecidability of relatively free Hilbert algebras ⋮ \(E=I+T\): the internal extent formula for compacted tries ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Relative pseudo-complements, join-extensions, and meet-retractions ⋮ Irreducibility in implicative semilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Relative annihilators in lattices
• Structure residuation
• On closed elements in closure algebras
• Regular Embeddings which Preserve Lattice Structure
• Implicative Semi-Lattices
• Partially Ordered Sets
• Topological representations of distributive lattices and Brouwerian logics
• On the completion by cuts of distributive lattices
• On Complete Lattices and a Problem of Birkhoff and Frink