Filtry
Expressivity of Coalgebraic Logic over Posets
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Expressiveness of positive coalgebraic logic
BA - Obecná matematika
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Many-Valued Relation Lifting and Moss? Coalgebraic Logic
BA - Obecná matematika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Positive fragments of coalgebraic logics
BA - Obecná matematika
- 2015 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Proof systems for Moss' coalgebraic logic
IN - Informatika
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Expressivity of Many-Valued Modal Logics, Coalgebraically
BA - Obecná matematika
- 2016 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Relation Liftings on Preorders and Posets
BA - Obecná matematika
- 2011 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Moss' Logic for Ordered Coalgebras
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2022 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Positive Fragments of Coalgebraic Logics
BA - Obecná matematika
- 2013 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Důkazové systémy pro koalgebraickou modalitu
Článek zkoumá alternativní prezentaci klasické a positivní modální logiky v jazyce s koalgebraickou modalitou pokrytí jako primitivním operátorem. Pro obě logiky prezentujeme korektní a úplnou hilbertovskou axiomatizaci, korektní a ...
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 z 4 019