Search results
- 1.0379885 - ÚI 2013 RIV GB eng C - Conference Paper (international conference)
Bílková, Marta - Horčík, Rostislav - Velebil, J.
Distributive substructural logics as coalgebraic logics over posets.
Advances in Modal Logic. London: College Publications, 2012 - (Bolander, T.; Braüner, T.; Moss, L.; Ghilardi, S.), s. 119-142. 9. ISBN 978-1-84890-068-4.
[Advances in Modal Logic. Copenhagen (DK), 22.08.2012-25.08.2012]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Institutional support: RVO:67985807
Keywords : substructural logics * frame semantics * coalgebras * coalgebraic logic * Goldblatt-Thomason theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0210742File Download Size Commentary Version Access 0379885.pdf 1 756.4 KB Author´s preprint open-access - 2.0368502 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
Bílková, Marta - Kurz, A. - Petrisan, D. - Velebil, J.
Relation Liftings on Preorders and Posets.
Algebra and Coalgebra in Computer Science. Berlin: Springer, 2011 - (Corradini, A.; Klin, B.; Cirstea, C.), s. 115-129. Lecture Notes in Computer Science, 6859. ISBN 978-3-642-22943-5. ISSN 0302-9743.
[CALCO 2011. International Conference /4./. Winchester (GB), 30.08.2011-02.09.2011]
R&D Projects: GA ČR GAP202/11/1632
Institutional research plan: CEZ:AV0Z10300504
Keywords : relation lifting * exact squares * monotone relation * coalgebraic logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0202829File Download Size Commentary Version Access a0368502.pdf 0 286.7 KB Publisher’s postprint require