Search results

0424950 - ÚI 2014 RIV DE eng J - Journal Article
Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
Relation lifting, with an application to the many-valued cover modality.
Logical Methods in Computer Science. Roč. 9, č. 4 (2013), 8_1-8_48. ISSN 1860-5974. E-ISSN 1860-5974
R&D Projects: GA ČR GAP202/11/1632
Institutional support: RVO:67985807
Keywords : relation lifting * module * exact square * enriched categories * commutative quantale * coalgebra * modal logic * cover modality
Subject RIV: BA - General Mathematics
Impact factor: 0.443, year: 2013
http://www.lmcs-online.org/ojs/viewarticle.php?id=1154&layout=abstract
Permanent Link: http://hdl.handle.net/11104/0230931