Nearlattices

DOI10.1016/J.DISC.2007.09.009MaRDI QIDQ947812zbMATH OpenOpenAlexFDO

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

congruence distributive variety distributive lattice nearlattice section pseudocomplementation semilattice

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

Review text

To describe algebraic properties of the connective of implication in logics, we use the so-called implication algebras. It turns out that the corresponding algebraic structures are join-semilattices where each principal filter is a lattice with respect to the induced order and, moreover, they are equipped with an antitone involution which is a complementation. However, this approach cannot be generalized for implication in intuitionistic logic because the connective of implication is identified with the relative pseudocomplementation which is not an involution; moreover, in intuitionistic logic the connectives of conjunction, disjunction and negation are independent. This motivates the authors to use a quite general approach: they treat join-semilattices where each principal filter is a lattice and, when axiomatizing them, they introduce a section pseudocomplementation (similarly as for lattices) to reach another kind of intuitionistic logic. Hence, they introduce the notion of a nearlattice, that is, a join-semilattice where the principal filter is a lattice with respect to the induced order. Also, a nearlattice can be described as an algebra with one ternary operation satisfying eight simple identities, hence, the class of nearlattices is a variety (a variety which is congruence distributive). The authors define the notions of distributive and dually distributive algebra of type (3) and show that these two notions are equivalent for nearlattices (also equivalent with the fact that in the associated semilattices every principal filter is a distributive lattice), hence the variety of distributive nearlattices is locally finite. Finally, a nearlattice whose principal filters are pseudocomplemented lattices is called a sectionally pseudocomplemented nearlattice. The authors prove that the class of all sectionally pseudocomplemented nearlattices is a variety and every finite distributive nearlattice is sectionally pseudocomplemented.

Recommendations

Cites work

Cited in

(40)

This page was built for publication: Nearlattices

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