Počet záznamů: 1
A form of feasible interpolation for constant depth Frege systems
- 1.0353751 - MÚ 2011 RIV US eng J - Článek v odborném periodiku
Krajíček, Jan
A form of feasible interpolation for constant depth Frege systems.
Journal of Symbolic Logic. Roč. 75, č. 2 (2010), s. 774-784. ISSN 0022-4812. E-ISSN 1943-5886
Grant CEP: GA AV ČR IAA100190902; GA MŠMT LC505
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: feasible interpolation * Frege proof systems * lower bounds
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.584, rok: 2010
http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9061183&fileId=S0022481200002772
We define a model-theoretic principle for which a form of feasible interpolation is valid in constant depth Frege systems.
Trvalý link: http://hdl.handle.net/11104/0192907
Název souboru Staženo Velikost Komentář Verze Přístup Krajicek2.pdf 1 134.5 KB Vydavatelský postprint vyžádat
Počet záznamů: 1