On lengths of proofs in non-classical logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F09%3A00337052" target="_blank" >RIV/67985840:_____/09:00337052 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On lengths of proofs in non-classical logics

Popis výsledku v původní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.

Název v anglickém jazyce

On lengths of proofs in non-classical logics

Popis výsledku anglicky

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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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 periodika

Annals of Pure and Applied Logic

ISSN

0168-0072

e-ISSN

—

Svazek periodika

157

Číslo periodika v rámci svazku

2-3

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

12

Strana od-do

—

Kód UT WoS článku

000264386500012

EID výsledku v databázi Scopus

—