Počet záznamů: 1
String rewriting and proof complexity: an interpretation of resolution
- 1.0380563 - MÚ 2013 RIV PL eng J - Článek v odborném periodiku
Cavagnetto, Stefano
String rewriting and proof complexity: an interpretation of resolution.
Reports on mathematical logic. Roč. 44, Jun (2009), s. 167-200. ISSN 0137-2904. E-ISSN 0137-2904
Grant CEP: GA AV ČR IAA1019401
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: propositional logic * propositional proof complexity
Kód oboru RIV: BA - Obecná matematika
http://www.iphils.uj.edu.pl/rml/rml-44/a-cav-44.htm
We interpret the well-known propositional proof system Resolution using string rewriting systems Sigma(n)* and Sigma(n) corresponding to tree-like proofs(a) and sequence-like proofs, respectively. We give a representation of Sigma(n)* using planar diagrams.
Trvalý link: http://hdl.handle.net/11104/0211239
Název souboru Staženo Velikost Komentář Verze Přístup Cavagnetto1.pdf 0 321.4 KB Vydavatelský postprint povolen
Počet záznamů: 1