Many-Valued Relation Lifting and Moss? Coalgebraic Logic
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F13%3A00206795" target="_blank" >RIV/68407700:21230/13:00206795 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/67985807:_____/13:00425733
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-642-40206-7_7" target="_blank" >http://dx.doi.org/10.1007/978-3-642-40206-7_7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-40206-7_7" target="_blank" >10.1007/978-3-642-40206-7_7</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Many-Valued Relation Lifting and Moss? Coalgebraic Logic
Popis výsledku v původním jazyce
The notion of relation lifting can be generalised to work with many-valued relations while retaining many vital properties of the ?classical? relation lifting. We show that polynomial endofunctors of the category of sets and mappings admit V -relation lifting for relations taking values from a commutative quantale V . Using the technique of functor presentations, we then show that every finitary weak pullback preserving functor admits a V -relation lifting for V being a complete Heyting algebra. As an application of the many-valued lifting we inspect the notion of many-valued bisimulation and we introduce an expressive many-valued variant of Moss? logic for T-coalgebras, parametric in the functor T.
Název v anglickém jazyce
Many-Valued Relation Lifting and Moss? Coalgebraic Logic
Popis výsledku anglicky
The notion of relation lifting can be generalised to work with many-valued relations while retaining many vital properties of the ?classical? relation lifting. We show that polynomial endofunctors of the category of sets and mappings admit V -relation lifting for relations taking values from a commutative quantale V . Using the technique of functor presentations, we then show that every finitary weak pullback preserving functor admits a V -relation lifting for V being a complete Heyting algebra. As an application of the many-valued lifting we inspect the notion of many-valued bisimulation and we introduce an expressive many-valued variant of Moss? logic for T-coalgebras, parametric in the functor T.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Algebra and Coalgebra in Computer Science
ISBN
978-3-642-40205-0
ISSN
—
e-ISSN
—
Počet stran výsledku
14
Strana od-do
66-79
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Warszawa
Datum konání akce
3. 9. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—