%0 Journal Article %A Lock, Robin H. %T The Tensor Product of Operational Logics %J Canadian journal of mathematics %D 1986 %P 1065-1080 %V 38 %N 5 %U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1986-052-3/ %R 10.4153/CJM-1986-052-3 %F 10_4153_CJM_1986_052_3