Inversions on complete lattices and Girard quantales

Bohumil Šmarda

Inversions on complete lattices and Girard quantales

Bohumil Šmarda

Acta Mathematica et Informatica Universitatis Ostraviensis (1997)

Volume: 05, Issue: 1, page 53-59
ISSN: 1804-1388

Access Full Article

top

Access to full text

Full (PDF)

How to cite

top

MLA
BibTeX
RIS

Š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.03016 MR0899269 DOI10.1016/0304-3975(87)90045-4
Rosenthal K. J., Quantales and their applications, Longman Sci and Techn. New York, 1990. (1990) Zbl0703.06007 MR1088258
Šmarda B., Polarities on algebraical structures, Acta Math. Univ. Com., 58(1991), 181-187. (1991) MR1120364

NotesEmbed ?

top

You 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.

Language to use for this widget.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Number of notes per page

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.