Počet záznamů: 1
Disjunction Property and Complexity of Substructural Logics
- 1.
SYSNO ASEP 0368496 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 Disjunction Property and Complexity of Substructural Logics Tvůrce(i) Horčík, Rostislav (UIVT-O) SAI, RID
Terui, K. (JP)Zdroj.dok. Theoretical Computer Science. - : Elsevier - ISSN 0304-3975
Roč. 412, č. 31 (2011), s. 3992-4006Poč.str. 15 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova substructural logics ; disjunction property ; computational complexity Vědní obor RIV BA - Obecná matematika CEP GAP202/10/1826 GA ČR - Grantová agentura ČR ME09110 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000292353400002 EID SCOPUS 79958066909 DOI 10.1016/j.tcs.2011.04.004 Anotace We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1