Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949640103> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2949640103 abstract "We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least as strong as Frege---yielding a semantic way to define a Cook-Reckhow (i.e., polynomially verifiable) algebraic analog of Frege proofs, different from that given in [BIKPRS96,GH03]. We then turn to an apparently weaker system, namely, polynomial calculus (PC) where polynomials are written as ordered formulas (PC over ordered formulas, for short): an ordered polynomial is a noncommutative polynomial in which the order of products in every monomial respects a fixed linear order on variables; an algebraic formula is ordered if the polynomial computed by each of its subformulas is ordered. We show that PC over ordered formulas is strictly stronger than resolution, polynomial calculus and polynomial calculus with resolution (PCR) and admits polynomial-size refutations for the pigeonhole principle and the Tseitin's formulas. We conclude by proposing an approach for establishing lower bounds on PC over ordered formulas proofs, and related systems, based on properties of lower bounds on noncommutative formulas. The motivation behind this work is developing techniques incorporating rank arguments (similar to those used in algebraic circuit complexity) for establishing lower bounds on propositional proofs." @default.
- W2949640103 created "2019-06-27" @default.
- W2949640103 creator A5066962007 @default.
- W2949640103 date "2010-04-13" @default.
- W2949640103 modified "2023-09-27" @default.
- W2949640103 title "Algebraic Proofs over Noncommutative Formulas" @default.
- W2949640103 cites W1495086092 @default.
- W2949640103 cites W1594732291 @default.
- W2949640103 cites W1968655942 @default.
- W2949640103 cites W1982672583 @default.
- W2949640103 cites W2023541349 @default.
- W2949640103 cites W2027044307 @default.
- W2949640103 cites W2062310247 @default.
- W2949640103 cites W2091628344 @default.
- W2949640103 cites W2093396771 @default.
- W2949640103 cites W2098642112 @default.
- W2949640103 cites W2110206454 @default.
- W2949640103 cites W2121894367 @default.
- W2949640103 cites W2136687801 @default.
- W2949640103 cites W2140994271 @default.
- W2949640103 cites W2158912767 @default.
- W2949640103 cites W2166026605 @default.
- W2949640103 cites W2167115661 @default.
- W2949640103 cites W2169713712 @default.
- W2949640103 cites W2492280620 @default.
- W2949640103 hasPublicationYear "2010" @default.
- W2949640103 type Work @default.
- W2949640103 sameAs 2949640103 @default.
- W2949640103 citedByCount "0" @default.
- W2949640103 crossrefType "posted-content" @default.
- W2949640103 hasAuthorship W2949640103A5066962007 @default.
- W2949640103 hasConcept C10138342 @default.
- W2949640103 hasConcept C105605280 @default.
- W2949640103 hasConcept C108710211 @default.
- W2949640103 hasConcept C118615104 @default.
- W2949640103 hasConcept C134306372 @default.
- W2949640103 hasConcept C136119220 @default.
- W2949640103 hasConcept C138268822 @default.
- W2949640103 hasConcept C154945302 @default.
- W2949640103 hasConcept C162324750 @default.
- W2949640103 hasConcept C171988527 @default.
- W2949640103 hasConcept C182306322 @default.
- W2949640103 hasConcept C202444582 @default.
- W2949640103 hasConcept C2524010 @default.
- W2949640103 hasConcept C33923547 @default.
- W2949640103 hasConcept C41008148 @default.
- W2949640103 hasConcept C68797384 @default.
- W2949640103 hasConcept C69562738 @default.
- W2949640103 hasConcept C90119067 @default.
- W2949640103 hasConcept C9376300 @default.
- W2949640103 hasConceptScore W2949640103C10138342 @default.
- W2949640103 hasConceptScore W2949640103C105605280 @default.
- W2949640103 hasConceptScore W2949640103C108710211 @default.
- W2949640103 hasConceptScore W2949640103C118615104 @default.
- W2949640103 hasConceptScore W2949640103C134306372 @default.
- W2949640103 hasConceptScore W2949640103C136119220 @default.
- W2949640103 hasConceptScore W2949640103C138268822 @default.
- W2949640103 hasConceptScore W2949640103C154945302 @default.
- W2949640103 hasConceptScore W2949640103C162324750 @default.
- W2949640103 hasConceptScore W2949640103C171988527 @default.
- W2949640103 hasConceptScore W2949640103C182306322 @default.
- W2949640103 hasConceptScore W2949640103C202444582 @default.
- W2949640103 hasConceptScore W2949640103C2524010 @default.
- W2949640103 hasConceptScore W2949640103C33923547 @default.
- W2949640103 hasConceptScore W2949640103C41008148 @default.
- W2949640103 hasConceptScore W2949640103C68797384 @default.
- W2949640103 hasConceptScore W2949640103C69562738 @default.
- W2949640103 hasConceptScore W2949640103C90119067 @default.
- W2949640103 hasConceptScore W2949640103C9376300 @default.
- W2949640103 hasLocation W29496401031 @default.
- W2949640103 hasOpenAccess W2949640103 @default.
- W2949640103 hasPrimaryLocation W29496401031 @default.
- W2949640103 hasRelatedWork W1489496002 @default.
- W2949640103 hasRelatedWork W1501855171 @default.
- W2949640103 hasRelatedWork W1514413980 @default.
- W2949640103 hasRelatedWork W1539288393 @default.
- W2949640103 hasRelatedWork W1580847017 @default.
- W2949640103 hasRelatedWork W2070983411 @default.
- W2949640103 hasRelatedWork W2114235518 @default.
- W2949640103 hasRelatedWork W2127804012 @default.
- W2949640103 hasRelatedWork W2161410202 @default.
- W2949640103 hasRelatedWork W2163168463 @default.
- W2949640103 hasRelatedWork W2182446353 @default.
- W2949640103 hasRelatedWork W2516889374 @default.
- W2949640103 hasRelatedWork W2758062840 @default.
- W2949640103 hasRelatedWork W2883171272 @default.
- W2949640103 hasRelatedWork W2953162203 @default.
- W2949640103 hasRelatedWork W2962734785 @default.
- W2949640103 hasRelatedWork W2962908760 @default.
- W2949640103 hasRelatedWork W3105062377 @default.
- W2949640103 hasRelatedWork W3119058551 @default.
- W2949640103 hasRelatedWork W336581208 @default.
- W2949640103 isParatext "false" @default.
- W2949640103 isRetracted "false" @default.
- W2949640103 magId "2949640103" @default.
- W2949640103 workType "article" @default.