Distributive substructural logics as coalgebraic logics over posets

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

Citováno: 1

--- BADIA, G. MODEL DEFINABILITY IN RELEVANT LOGIC. JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. ISSN 2055-3706, APR 2017, vol. 4, no. 3, SI, p. 623-645. [WOS]

Trvalý link: http://hdl.handle.net/11104/0210742