In this paper we study the lattice of quantic conuclei for orthomudular lattices. We show that under certain condition we can get a complete characterization of all quantic conuclei. The thing to note is we use a non commutative, non associative disjunction operation which can be thought of as non commutative, non associative linear logic.
Keywords:
1991 MSC: 06A15, 06C99, 03G12, 03G30, 81P10.
Theory and Applications of Categories, Vol. 2, 1996, No. 6, pp 62-68.
http://www.tac.mta.ca/tac/volumes/1996/n6/n6.dvi
http://www.tac.mta.ca/tac/volumes/1996/n6/n6.ps
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1996/n6/n6.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/1996/n6/n6.ps