Nearlattices

DOI10.1016/j.disc.2007.09.009zbMath1151.06004OpenAlexW4212763410MaRDI QIDQ947812

Ivan Chajda, Miroslav Kolařík

Publication date: 7 October 2008

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.disc.2007.09.009

zbMATH Keywords

distributive latticesemilatticecongruence distributive varietynearlatticesection pseudocomplementation

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Congruence modularity, congruence distributivity (08B10) Semilattices (06A12) Varieties of lattices (06B20) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (22)

Independent axiom systems for nearlattices ⋮ Finite distributive semilattices ⋮ Unnamed Item ⋮ A coalgebraic approach to non-determinism: applications to multilattices ⋮ On the logic of distributive nearlattices ⋮ Monadic quasi-modal distributive nearlattices ⋮ Priestley-style duality for DN-algebras ⋮ Characterizations of near-Heyting algebras ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Quasi-orthomodular posets and weak BCK-algebras. ⋮ Stone style duality for distributive nearlattices ⋮ Annihilator-preserving congruence relations in distributive nearlattices ⋮ Further Remarks on an Order for Quantum Observables ⋮ Congruences on near-Heyting algebras ⋮ Finite distributive nearlattices ⋮ The logic of distributive nearlattices ⋮ Note on $\alpha$-filters in distributive nearlattices ⋮ Remarks on normal distributive nearlattices ⋮ Quasi-modal operators on distributive nearlattices ⋮ Orthomodular bands ⋮ A completion for distributive nearlattices ⋮ Unnamed Item

Cites Work

• Orthoimplication algebras
• Simple axioms for orthomodular implication algebras
• Orthomodular implication algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nearlattices