Strongly complete logics for coalgebras
| Název česky | Silně kompletní logika pro koalgebry |
|---|---|
| Autoři | |
| Rok publikování | 2012 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Logical Methods in Computer Science |
| Fakulta / Pracoviště MU | |
| 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: |