On quantic conuclei on orthomodular lattices

Leopoldo Roman and Rita E. Zuazua

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.