Many-Valued Relation Lifting and Moss? Coalgebraic Logic

Result code in 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>
Alternative codes found
RIV/67985807:_____/13:00425733
Result on the web
<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>

Result language
angličtina
Original language name
Many-Valued Relation Lifting and Moss? Coalgebraic Logic
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Mathematical Fuzzy Logic in Computer Science</a><br>
Continuities
S - Specificky vyzkum na vysokych skolach

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)