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.
1991 MSC: 06A15, 06C99, 03G12, 03G30, 81P10.
Theory and Applications of Categories, Vol. 2, 1996, No. 6, pp 62-68.