Orthomodular Lattices

Tytuł:	Orthomodular Lattices
Autorzy:	Mądra, Elżbieta Grabowski, Adam
Data wydania:	2008
Data dodania:	18-wrz-2026
Wydawca:	University of Białystok
Źródło:	Formalized Mathematics, Volume 16, Issue 3, 2008, Pages 277-282
Abstrakt:	The main result of the article is the solution to the problem of short axiomatizations of orthomodular ortholattices. Based on EQP/Otter results [10], we gave a set of three equations which is equivalent to the classical, much longer equational basis of such a class. Also the basic example of the lattice which is not orthomodular, i.e. benzene (or B6) is defined in two settings– as a relational structure (poset) and as a lattice. As a preliminary work, we present the proofs of the dependence of other axiomatizations of ortholattices. The formalization of the properties of orthomodular lattices follows [4].
Afiliacja:	Elżbieta Mądra - Institute of Mathematics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland Adam Grabowski - Institute of Mathematics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland
URI:	http://hdl.handle.net/11320/21069
DOI:	10.2478/v10037-008-0033-z
ISSN:	1426-2630
e-ISSN:	1898-9934
Typ Dokumentu:	Article
metadata.dc.rights.uri:	https://creativecommons.org/licenses/by-sa/4.0/
Właściciel praw:	© 2009 Elżbieta Mądra, Adam Grabowski, published by University of Białystok This work is licensed under the Creative Commons License.
Występuje w kolekcji(ach):	Formalized Mathematics, 2008, Volume 16, Issue 3

Pliki w tej pozycji:

Plik	Opis	Rozmiar	Format
Orthomodular_Lattices.pdf		201,99 kB	Adobe PDF	Otwórz

Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL