The logic of distributive nearlattices

DOI10.1007/s00500-017-2750-0zbMath1398.06019OpenAlexW2741085284WikidataQ58887367 ScholiaQ58887367MaRDI QIDQ1797923

Luciano J. González

Publication date: 22 October 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-017-2750-0

zbMATH Keywords

sentential logicGentzen systemdistributive nearlattices

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Varieties of lattices (06B20) Other generalizations of distributive lattices (06D75)

Related Items

Finite distributive semilattices ⋮ 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 ⋮ Congruences on near-Heyting algebras ⋮ Finite distributive nearlattices ⋮ Note on $\alpha$-filters in distributive nearlattices ⋮ Remarks on normal distributive nearlattices ⋮ Quasi-modal operators on distributive nearlattices ⋮ A completion for distributive nearlattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nearlattices
• Algebraic logic for classical conjunction and disjunction
• Orthoimplication algebras
• A survey of abstract algebraic logic
• Stone style duality for distributive nearlattices
• An implication in orthologic
• Independent axiom systems for nearlattices
• ON HOMOMORPHIC IMAGES AND THE FREE DISTRIBUTIVE LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE
• Join algebras
• Weakly distributive semilattices
• Protoalgebraic logics
• Orthomodular implication algebras