@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