English

On PBZ*-lattices

Rings and Algebras 2019-11-04 v1 Logic

Abstract

We continue our investigation of paraorthomodular BZ*-lattices (PBZ*-lattices), started in \cite{GLP1+,PBZ2,rgcmfp,pbzsums,pbz5}. We shed further light on the structure of the subvariety lattice of the variety PBZL\mathbb{PBZL}^{\ast } of PBZ*-lattices; in particular, we provide axiomatic bases for some of its members. Further, we show that some distributive subvarieties of PBZL\mathbb{PBZL}^{\ast } are term-equivalent to well-known varieties of expanded Kleene lattices or of nonclassical modal algebras. By so doing, we somehow help the reader to locate PBZ*-lattices on the atlas of algebraic structures for nonclassical logics.

Keywords

Cite

@article{arxiv.1911.00094,
  title  = {On PBZ*-lattices},
  author = {Roberto Giuntini and Claudia Mureşan and Francesco Paoli},
  journal= {arXiv preprint arXiv:1911.00094},
  year   = {2019}
}

Comments

24 pages

R2 v1 2026-06-23T12:01:36.395Z