| Identifikační kód |
RIV/67985840:_____/09:00337052 |
| Název v anglickém jazyce |
On lengths of proofs in non-classical logics |
| Druh |
J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh |
- |
| Jazyk |
eng - angličtina |
| Obor - skupina |
B - Fyzika a matematika |
| Obor |
BA - Obecná matematika |
| Rok uplatnění |
2009 |
| 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 |
1 |
| Počet domácích tvůrců |
1 |
| Výčet všech uvedených jednotlivých tvůrců |
Pavel Hrubeš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6407862) |
| Popis výsledku v anglickém jazyce |
We give proofs of the effective monotone interpolation property for the system of modal logic K. and others, and the system IL of intuitionistic propositional logic. Hence we obtain exponential lower bounds on the number of proof-lines in those systems. |
| Klíčová slova oddělená středníkem |
length of proof; propositional logic; modal logic; intuitionistic logic |
| Stránka www, na které se nachází výsledek |
- |
| Odkaz na údaje z výzkumu |
- |