Inversions on complete lattices and Girard quantales

ŠMARDA, Bohumil. Inversions on complete lattices and Girard quantales. Acta Math. et Informatica Univ. Ostraviensis. Ostrava: Univerzita Ostrava, 1997, roč. 5, č. 1, s. 53-59. ISSN 1211-4774.

Základní údaje

Originální název

Inversions on complete lattices and Girard quantales

Autoři

ŠMARDA, Bohumil

Vydání

Acta Math. et Informatica Univ. Ostraviensis, Ostrava, Univerzita Ostrava, 1997, 1211-4774

---

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Organizační jednotka

Přírodovědecká fakulta

Klíčová slova anglicky

Girard quantales;polarity;linear logic

Štítky

Girard quantales, linear logic, polarity