Počet záznamů: 1
Simulating non-prenex cuts in quantified propositional calculus
- 1.
SYSNO ASEP 0364309 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Simulating non-prenex cuts in quantified propositional calculus Tvůrce(i) Jeřábek, Emil (MU-W) RID, SAI, ORCID
Nguyen, P. (CA)Zdroj.dok. Mathematical Logic Quarterly. - : Wiley - ISSN 0942-5616
Roč. 57, č. 5 (2011), s. 524-532Poč.str. 9 s. Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova proof complexity ; prenex cuts ; quantified propositional calculus Vědní obor RIV BA - Obecná matematika CEP IAA100190902 GA AV ČR - Akademie věd 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000295573600010 EID SCOPUS 80053084541 DOI 10.1002/malq.201020093 Anotace We show that the quantified propositional proof systems G_i are polynomially equivalent to their restricted versions that require all cut formulas to be prenex Sigma^q_i (or prenex Pi^q_i). Previously this was known only for the treelike systems G^*_i. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2012
Počet záznamů: 1