A characterization of quantic quantifiers in orthomodular lattices

Leopoldo Román

Let L be an arbitrary orthomodular lattice. There is a one to one correspondence between orthomodular sublattices of L satisfying an extra condition and quantic quantifiers. The category of orthomodular lattices is equivalent to the category of posets having two families of endofunctors satisfying six conditions.

Keywords: Quantum logic; orthomodular lattice.

2000 MSC: 03G12; 06C99.

Theory and Applications of Categories, Vol. 16, 2006, No. 10, pp 206-217.

http://www.tac.mta.ca/tac/volumes/16/10/16-10.dvi
http://www.tac.mta.ca/tac/volumes/16/10/16-10.ps
http://www.tac.mta.ca/tac/volumes/16/10/16-10.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/10/16-10.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/16/10/16-10.ps

TAC Home