Independent axiom systems for nearlattices

DOI10.1007/s10587-011-0062-6zbMath1249.06003arXiv1007.3120OpenAlexW2042564674WikidataQ114017653 ScholiaQ114017653MaRDI QIDQ2881225

João Araújo, Michael K. Kinyon

Publication date: 3 April 2012

Published in: Czechoslovak Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.3120

zbMATH Keywords

axiom systemnearlatticejoin semilattice\texttt{Prover9}

Mathematics Subject Classification ID

Semilattices (06A12) Generalizations of lattices (06B75)

Related Items (16)

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 ⋮ Basis reduction for cryptogroups and orthogroups ⋮ Stone style duality for distributive nearlattices ⋮ Annihilator-preserving congruence relations in distributive nearlattices ⋮ 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

Uses Software

• Prover9
• Mace4

Cites Work

• Nearlattices
• Join algebras
• Unnamed Item

This page was built for publication: Independent axiom systems for nearlattices