Počet záznamů: 1
On lengths of proofs in non-classical logics
- 1.
SYSNO ASEP 0337052 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 On lengths of proofs in non-classical logics Překlad názvu O délkách důkazů v neklasických logikách Tvůrce(i) Hrubeš, Pavel (MU-W) RID, SAI, ORCID Zdroj.dok. Annals of Pure and Applied Logic. - : Elsevier - ISSN 0168-0072
Roč. 157, 2-3 (2009), s. 194-205Poč.str. 12 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova length of proof ; propositional logic ; modal logic ; intuitionistic logic Vědní obor RIV BA - Obecná matematika CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000264386500012 DOI 10.1016/j.apal.2008.09.013 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2010
Počet záznamů: 1