Š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.
Other formats:   BibTeX LaTeX RIS
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
Original language English
Type of outcome Article in a journal
Field of Study 10101 Pure mathematics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
Organization unit Faculty of Science
Keywords in English Girard quantales;polarity;linear logic
Tags Girard quantales, linear logic, polarity
Changed by Changed by: doc. RNDr. Bohumil Šmarda, CSc., učo 1264. Changed: 29/2/2000 09:23.
PrintDisplayed: 28/7/2024 19:25