Ischi, BorisSeal, Gavin J.2013-10-012013-10-012013-10-012013https://infoscience.epfl.ch/handle/20.500.14299/95990WOS:000318064600002The Chu construction is used to define a *-autonomous structure on a category of complete atomistic coatomistic lattices. This construction leads to a new tensor product that is compared with a certain number of other existing tensor products.Complete atomistic coatomistic lattices*-autonomous categoriesChu constructionquantum logictext::journal::journal article::research article