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, vol. 5, No 1, p. 53-59. ISSN 1211-4774.

Basic information

Original name

Inversions on complete lattices and Girard quantales

Authors

ŠMARDA, Bohumil

Edition

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

---

Other information

Language

English

Type of outcome

Článek v odborném periodiku

Field of Study

10101 Pure mathematics

Country of publisher

Czech Republic

Confidentiality degree

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

Organization unit

Faculty of Science

Keywords in English

Girard quantales;polarity;linear logic

Tags

Girard quantales, linear logic, polarity