Inversions on complete lattices and Girard quantales
Acta Mathematica et Informatica Universitatis Ostraviensis (1997)
- Volume: 05, Issue: 1, page 53-59
- ISSN: 1804-1388
Access Full Article
top
How to cite
topŠmarda, Bohumil. "Inversions on complete lattices and Girard quantales." Acta Mathematica et Informatica Universitatis Ostraviensis 05.1 (1997): 53-59. <http://eudml.org/doc/23792>.
@article{Šmarda1997,
author = {Šmarda, Bohumil},
journal = {Acta Mathematica et Informatica Universitatis Ostraviensis},
keywords = {polarity; quantale; inversion; complete lattices; linear logic},
language = {eng},
number = {1},
pages = {53-59},
publisher = {University of Ostrava},
title = {Inversions on complete lattices and Girard quantales},
url = {http://eudml.org/doc/23792},
volume = {05},
year = {1997},
}
TY - JOUR
AU - Šmarda, Bohumil
TI - Inversions on complete lattices and Girard quantales
JO - Acta Mathematica et Informatica Universitatis Ostraviensis
PY - 1997
PB - University of Ostrava
VL - 05
IS - 1
SP - 53
EP - 59
LA - eng
KW - polarity; quantale; inversion; complete lattices; linear logic
UR - http://eudml.org/doc/23792
ER -
References
top- Birkhoff G., Lattice Theory, (Third Edition), Amer. Math. Soc. Providence. R. J., 1973. (1973)
- Girard J. Y., 10.1016/0304-3975(87)90045-4, Theor.Comp.Sci., 50 (1987), 1-102. (1987) Zbl0647.03016MR0899269DOI10.1016/0304-3975(87)90045-4
- Rosenthal K. J., Quantales and their applications, Longman Sci and Techn. New York, 1990. (1990) Zbl0703.06007MR1088258
- Šmarda B., Polarities on algebraical structures, Acta Math. Univ. Com., 58(1991), 181-187. (1991) MR1120364
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.