Foulis-Holland theorem for implicative-orthomodular lattices ...
We introduce the notion of distributivity for implicative-orthomodular lattices, proving an analogue result of the Foulis-Holland theorem. Based on this result, we characterize the distributive implicative-orthomodular lattices. Moreover, we define the center of an implicative-orthomodular lattice as the set of all elements that commute with all other elements, and we prove that the center is an implicative-Boolean algebra. Additionally, we give new characterizations of implicative-orthomodular lattices. ...
Verfasser: | |
---|---|
Dokumenttyp: | Artikel |
Erscheinungsdatum: | 2024 |
Verlag/Hrsg.: |
arXiv
|
Schlagwörter: | Logic math.LO / FOS: Mathematics |
Sprache: | unknown |
Permalink: | https://search.fid-benelux.de/Record/base-29070859 |
Datenquelle: | BASE; Originalkatalog |
Powered By: | BASE |
Link(s) : | https://dx.doi.org/10.48550/arxiv.2403.16762 |