Voir la notice de l'article provenant de la source Theory and Applications of Categories website
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.
@article{TAC_1996_2_a5, author = {Leopoldo Roman and Rita E. Zuazua}, title = {On quantic conuclei on orthomodular lattices}, journal = {Theory and applications of categories}, pages = {62--68}, publisher = {mathdoc}, volume = {2}, year = {1996}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_1996_2_a5/} }
Leopoldo Roman; Rita E. Zuazua. On quantic conuclei on orthomodular lattices. Theory and applications of categories, Tome 2 (1996), pp. 62-68. http://geodesic.mathdoc.fr/item/TAC_1996_2_a5/