Title:
|
Inversions on complete lattices and Girard quantales (English) |
Author:
|
Šmarda, Bohumil |
Language:
|
English |
Journal:
|
Acta Mathematica et Informatica Universitatis Ostraviensis |
ISSN:
|
1211-4774 |
Volume:
|
5 |
Issue:
|
1 |
Year:
|
1997 |
Pages:
|
53-59 |
. |
Category:
|
math |
. |
MSC:
|
03B47 |
MSC:
|
03G25 |
MSC:
|
06B23 |
MSC:
|
06F07 |
idZBL:
|
Zbl 0927.06003 |
idMR:
|
MR1828550 |
. |
Date available:
|
2009-01-30T09:04:39Z |
Last updated:
|
2013-10-22 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/120513 |
. |
Reference:
|
[1] Birkhoff G.: Lattice Theory.(Third Edition), Amer. Math. Soc. Providence. R. J., 1973. |
Reference:
|
[2] Girard J. Y.: Linear Logic.Theor.Comp.Sci., 50 (1987), 1-102. Zbl 0647.03016, MR 0899269, 10.1016/0304-3975(87)90045-4 |
Reference:
|
[3] Rosenthal K. J.: Quantales and their applications.Longman Sci and Techn. New York, 1990. Zbl 0703.06007, MR 1088258 |
Reference:
|
[4] Šmarda B.: Polarities on algebraical structures.Acta Math. Univ. Com., 58(1991), 181-187. MR 1120364 |
. |