@article{120513,
author = {Bohumil \v Smarda},
title = {Inversions on complete lattices and Girard quantales},
journal = {Acta Mathematica et Informatica Universitatis Ostraviensis},
volume = {05},
year = {1997},
pages = {53-59},
zbl = {0927.06003},
mrnumber = {1828550},
language = {en},
url = {http://dml.mathdoc.fr/item/120513}
}
Šmarda, Bohumil. Inversions on complete lattices and Girard quantales. Acta Mathematica et Informatica Universitatis Ostraviensis, Tome 05 (1997) pp. 53-59. http://gdmltest.u-ga.fr/item/120513/
Lattice Theory, (Third Edition), Amer. Math. Soc. Providence. R. J., 1973. (1973)
Linear Logic, Theor.Comp.Sci., 50 (1987), 1-102. (1987) | Article | MR 0899269 | Zbl 0647.03016
Quantales and their applications, Longman Sci and Techn. New York, 1990. (1990) | MR 1088258 | Zbl 0703.06007
Polarities on algebraical structures, Acta Math. Univ. Com., 58(1991), 181-187. (1991) | MR 1120364