| Identifikační kód |
RIV/67985807:_____/08:00320237 |
| Název v anglickém jazyce |
Proof Systems for the Coalgebraic Cover Modality |
| Druh |
D - Stať ve sborníku |
| Jazyk |
eng - angličtina |
| Obor - skupina |
B - Fyzika a matematika |
| Obor |
BA - Obecná matematika |
| Rok uplatnění |
2008 |
| Kód důvěrnosti údajů |
S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku |
1 |
| Počet tvůrců celkem |
3 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Marta Bílková (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6286615)
A. Palmigian (státní příslušnost: NL - Nizozemsko)
Y. Venema (státní příslušnost: NL - Nizozemsko) |
| Popis výsledku v anglickém jazyce |
We investigate an alternative presentation of classical and positive modal logic where the coalgebraic cover modality is taken as primitive. For each logic, we present a sound and complete Hilbert-style axiomatization. Moreover, we give a two-sided soundand complete sequent calculus for the negation-free language, and for the language with negation we provide a one-sided sequent calculus which is sound, complete and cut-free. |
| Klíčová slova oddělená středníkem |
modal logic; derivation system; coalgebra; coalgebraic modality; Gentzen calculus; completeness |
| Stránka www, na které se nachází výsledek |
- |
| Odkaz na údaje z výzkumu |
- |