Počet záznamů: 1
Distributive substructural logics as coalgebraic logics over posets
- 1.
SYSNO 0379885 Název Distributive substructural logics as coalgebraic logics over posets Tvůrce(i) Bílková, Marta (UIVT-O) SAI, RID, ORCID
Horčík, Rostislav (UIVT-O) SAI, RID
Velebil, J. (CZ)Zdroj.dok. Advances in Modal Logic. S. 119-142. - London : College Publications, 2012 / Bolander T. ; Braüner T. ; Moss L. ; Ghilardi S. Konference Advances in Modal Logic, Copenhagen, 22.08.2012-25.08.2012 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GAP202/11/1632 GA ČR - Grantová agentura ČR Institucionální podpora UIVT-O - RVO:67985807 CEZ AV0Z10300504 - UIVT-O (2005-2011) Jazyk dok. eng Země vyd. GB Klíč.slova substructural logics * frame semantics * coalgebras * coalgebraic logic * Goldblatt-Thomason theorem Trvalý link http://hdl.handle.net/11104/0210742 Název souboru Staženo Velikost Komentář Verze Přístup 0379885.pdf 1 756.4 KB Autorský preprint povolen
Počet záznamů: 1