Počet záznamů: 1
Distributive substructural logics as coalgebraic logics over posets
- 1.0379885 - ÚI 2013 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GAP202/11/1632
Výzkumný záměr: CEZ:AV0Z10300504
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics * frame semantics * coalgebras * coalgebraic logic * Goldblatt-Thomason theorem
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0210742Název souboru Staženo Velikost Komentář Verze Přístup 0379885.pdf 1 756.4 KB Autorský preprint povolen
Počet záznamů: 1