Strongly complete logics for coalgebras

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Název česky Silně kompletní logika pro koalgebry
Autoři

KURZ Alexander ROSICKÝ Jiří

Rok publikování 2012
Druh Článek v odborném periodiku
Časopis / Zdroj Logical Methods in Computer Science
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
Doi http://dx.doi.org/10.2168/LMCS-8(3:14)2012
Obor Obecná matematika
Klíčová slova coalgebra;modal logic;algebraic theroy
Přiložené soubory
Popis Článek je věnován jednotnému popisu konečných logik pro množinové koalgebry. Je předložena obecná konstrukce, která se ukázala být silně úplná.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info