Monotone simulations of non-monotone proofs.

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F02%3A05030043" target="_blank" >RIV/67985840:_____/02:05030043 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Monotone simulations of non-monotone proofs.
Popis výsledku v původním jazyce
We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis ^, .le.) can be turned into a proof containing only monotone formulas of size m ^ 0 (hg m) and with the number of proof lines polynomial in m. Also we show that some interesting special cases, namely the functional and the onto versions of Pigeonhole Principle and a version of ......
Název v anglickém jazyce
Monotone simulations of non-monotone proofs.
Popis výsledku anglicky
We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis ^, .le.) can be turned into a proof containing only monotone formulas of size m ^ 0 (hg m) and with the number of proof lines polynomial in m. Also we show that some interesting special cases, namely the functional and the onto versions of Pigeonhole Principle and a version of ......

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2002
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ů

Podobné výsledky(10)