Inversions on complete lattices and Girard quantales
Communications in Mathematics, Tome 5 (1997) no. 1, pp. 53-59
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B47, 03G25, 06B23, 06F07
@article{COMIM_1997_5_1_a4,
     author = {\v{S}marda, Bohumil},
     title = {Inversions on complete lattices and {Girard} quantales},
     journal = {Communications in Mathematics},
     pages = {53--59},
     year = {1997},
     volume = {5},
     number = {1},
     mrnumber = {1828550},
     zbl = {0927.06003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/COMIM_1997_5_1_a4/}
}
TY  - JOUR
AU  - Šmarda, Bohumil
TI  - Inversions on complete lattices and Girard quantales
JO  - Communications in Mathematics
PY  - 1997
SP  - 53
EP  - 59
VL  - 5
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/COMIM_1997_5_1_a4/
LA  - en
ID  - COMIM_1997_5_1_a4
ER  - 
%0 Journal Article
%A Šmarda, Bohumil
%T Inversions on complete lattices and Girard quantales
%J Communications in Mathematics
%D 1997
%P 53-59
%V 5
%N 1
%U http://geodesic.mathdoc.fr/item/COMIM_1997_5_1_a4/
%G en
%F COMIM_1997_5_1_a4
Šmarda, Bohumil. Inversions on complete lattices and Girard quantales. Communications in Mathematics, Tome 5 (1997) no. 1, pp. 53-59. http://geodesic.mathdoc.fr/item/COMIM_1997_5_1_a4/

[1] Birkhoff G.: Lattice Theory. (Third Edition), Amer. Math. Soc. Providence. R. J., 1973.

[2] Girard J. Y.: Linear Logic. Theor.Comp.Sci., 50 (1987), 1-102. | DOI | MR | Zbl

[3] Rosenthal K. J.: Quantales and their applications. Longman Sci and Techn. New York, 1990. | MR | Zbl

[4] Šmarda B.: Polarities on algebraical structures. Acta Math. Univ. Com., 58(1991), 181-187. | MR