Počet záznamů: 1

A form of feasible interpolation for constant depth Frege systems

  1. 1.
    0353751 - MU-W 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
    Grant CEP: GA AV ČR IAA100190902; GA MŠk 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 souboruStaženoVelikostKomentářVerzePřístup
    Krajicek2.pdf1134.5 KBVydavatelský postprintvyžádat