Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044632231> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2044632231 endingPage "486" @default.
- W2044632231 startingPage "457" @default.
- W2044632231 abstract "Abstract A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an interpolant whose circuit-size is at most k . We give a new proof of the interpolation theorem based on a communication complexity approach which allows a similar estimate for a larger class of proofs. We derive from it several corollaries: (1) Feasible interpolation theorems for the following proof systems: (a) resolution (b) a subsystem of LK corresponding to the bounded arithmetic theory ( α ) (c) linear equational calculus (d) cutting planes. (2) New proofs of the exponential lower bounds (for new formulas) (a) for resolution ([15]) (b) for the cutting planes proof system with coefficients written in unary ([4]). (3) An alternative proof of the independence result of [43] concerning the provability of circuit-size lower bounds in the bounded arithmetic theory ( α ). In the other direction we show that a depth 2 subsystem of LK does not admit feasible monotone interpolation theorem (the so called Lyndon theorem), and that a feasible monotone interpolation theorem for the depth 1 subsystem of LK would yield new exponential lower bounds for resolution proofs of the weak pigeonhole principle." @default.
- W2044632231 created "2016-06-24" @default.
- W2044632231 creator A5069803587 @default.
- W2044632231 date "1997-06-01" @default.
- W2044632231 modified "2023-09-28" @default.
- W2044632231 title "Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic" @default.
- W2044632231 cites W1563012911 @default.
- W2044632231 cites W1572440476 @default.
- W2044632231 cites W1993453078 @default.
- W2044632231 cites W1995120485 @default.
- W2044632231 cites W1997908783 @default.
- W2044632231 cites W2011612028 @default.
- W2044632231 cites W2012476164 @default.
- W2044632231 cites W2014588328 @default.
- W2044632231 cites W2026916148 @default.
- W2044632231 cites W2034768280 @default.
- W2044632231 cites W2038193643 @default.
- W2044632231 cites W2045664183 @default.
- W2044632231 cites W2062912795 @default.
- W2044632231 cites W2069767473 @default.
- W2044632231 cites W2161149481 @default.
- W2044632231 cites W2385171024 @default.
- W2044632231 cites W256005661 @default.
- W2044632231 cites W4248733413 @default.
- W2044632231 cites W49401050 @default.
- W2044632231 doi "https://doi.org/10.2307/2275541" @default.
- W2044632231 hasPublicationYear "1997" @default.
- W2044632231 type Work @default.
- W2044632231 sameAs 2044632231 @default.
- W2044632231 citedByCount "266" @default.
- W2044632231 countsByYear W20446322312012 @default.
- W2044632231 countsByYear W20446322312013 @default.
- W2044632231 countsByYear W20446322312014 @default.
- W2044632231 countsByYear W20446322312015 @default.
- W2044632231 countsByYear W20446322312016 @default.
- W2044632231 countsByYear W20446322312017 @default.
- W2044632231 countsByYear W20446322312018 @default.
- W2044632231 countsByYear W20446322312019 @default.
- W2044632231 countsByYear W20446322312020 @default.
- W2044632231 countsByYear W20446322312021 @default.
- W2044632231 countsByYear W20446322312022 @default.
- W2044632231 countsByYear W20446322312023 @default.
- W2044632231 crossrefType "journal-article" @default.
- W2044632231 hasAuthorship W2044632231A5069803587 @default.
- W2044632231 hasConcept C105605280 @default.
- W2044632231 hasConcept C108710211 @default.
- W2044632231 hasConcept C115961682 @default.
- W2044632231 hasConcept C118615104 @default.
- W2044632231 hasConcept C134306372 @default.
- W2044632231 hasConcept C135754263 @default.
- W2044632231 hasConcept C137800194 @default.
- W2044632231 hasConcept C154945302 @default.
- W2044632231 hasConcept C171988527 @default.
- W2044632231 hasConcept C2318724 @default.
- W2044632231 hasConcept C2524010 @default.
- W2044632231 hasConcept C2834757 @default.
- W2044632231 hasConcept C33923547 @default.
- W2044632231 hasConcept C34388435 @default.
- W2044632231 hasConcept C41008148 @default.
- W2044632231 hasConcept C78023250 @default.
- W2044632231 hasConceptScore W2044632231C105605280 @default.
- W2044632231 hasConceptScore W2044632231C108710211 @default.
- W2044632231 hasConceptScore W2044632231C115961682 @default.
- W2044632231 hasConceptScore W2044632231C118615104 @default.
- W2044632231 hasConceptScore W2044632231C134306372 @default.
- W2044632231 hasConceptScore W2044632231C135754263 @default.
- W2044632231 hasConceptScore W2044632231C137800194 @default.
- W2044632231 hasConceptScore W2044632231C154945302 @default.
- W2044632231 hasConceptScore W2044632231C171988527 @default.
- W2044632231 hasConceptScore W2044632231C2318724 @default.
- W2044632231 hasConceptScore W2044632231C2524010 @default.
- W2044632231 hasConceptScore W2044632231C2834757 @default.
- W2044632231 hasConceptScore W2044632231C33923547 @default.
- W2044632231 hasConceptScore W2044632231C34388435 @default.
- W2044632231 hasConceptScore W2044632231C41008148 @default.
- W2044632231 hasConceptScore W2044632231C78023250 @default.
- W2044632231 hasIssue "2" @default.
- W2044632231 hasLocation W20446322311 @default.
- W2044632231 hasOpenAccess W2044632231 @default.
- W2044632231 hasPrimaryLocation W20446322311 @default.
- W2044632231 hasRelatedWork W1500659951 @default.
- W2044632231 hasRelatedWork W171706349 @default.
- W2044632231 hasRelatedWork W1858809161 @default.
- W2044632231 hasRelatedWork W2044632231 @default.
- W2044632231 hasRelatedWork W2169378607 @default.
- W2044632231 hasRelatedWork W2245981342 @default.
- W2044632231 hasRelatedWork W2461509449 @default.
- W2044632231 hasRelatedWork W4213091458 @default.
- W2044632231 hasRelatedWork W2119682046 @default.
- W2044632231 hasRelatedWork W2611984052 @default.
- W2044632231 hasVolume "62" @default.
- W2044632231 isParatext "false" @default.
- W2044632231 isRetracted "false" @default.
- W2044632231 magId "2044632231" @default.
- W2044632231 workType "article" @default.