Expressivity of Coalgebraic Logic over Posets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F10%3A00168099" target="_blank" >RIV/68407700:21230/10:00168099 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Expressivity of Coalgebraic Logic over Posets

Popis výsledku v původním jazyce

Most of coalgebraic logic so far has focussed on set-coalgebras and their Boolean logics. Here we start a systematic investigation of coalgebras over posets and set ourselves the modest aim to show how to transfer to Pos the result of Schroder and Klin,namely that the logic of all predicate liftings is expressive.

Název v anglickém jazyce

Expressivity of Coalgebraic Logic over Posets

Popis výsledku anglicky

Most of coalgebraic logic so far has focussed on set-coalgebras and their Boolean logics. Here we start a systematic investigation of coalgebras over posets and set ourselves the modest aim to show how to transfer to Pos the result of Schroder and Klin,namely that the logic of all predicate liftings is expressive.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

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ů

Název statě ve sborníku

Short contributions CMCS 2010''

ISBN

—

ISSN

1386-369X

e-ISSN

—

Počet stran výsledku

2

Strana od-do

—

Název nakladatele

CWI, Centrum Wiskunde & Informatica

Místo vydání

Amsterdam

Místo konání akce

Paphos

Datum konání akce

26. 3. 2010

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—