Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141291205> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2141291205 abstract "We show an effective cut-free variant of Glivenko's theorem extended to formulas with weak quantifiers: There is an elementary function f such that if φ is a cut-free LK proof of ⊢ A with symbol complexity ≤ c, then there exists a cut-free LJ proof of ⊢ ⊯ ⊯ A with symbol complexity ≤ f(c). This follows from the more general result: There is an elementary function f such that if φ is a cut-free LK proof of A ⊢ with symbol complexity ≤ c, then there exists a cut-free LJ proof of A ⊢ with symbol complexity ≤ f(c). The result is proved using a suitable variant of cut-elimination by resolution (CERES) and subsumption." @default.
- W2141291205 created "2016-06-24" @default.
- W2141291205 creator A5009763776 @default.
- W2141291205 creator A5035315045 @default.
- W2141291205 creator A5068161463 @default.
- W2141291205 date "2015-07-01" @default.
- W2141291205 modified "2023-10-04" @default.
- W2141291205 title "A Note on the Complexity of Classical and Intuitionistic Proofs" @default.
- W2141291205 cites W1508227203 @default.
- W2141291205 cites W1537470063 @default.
- W2141291205 cites W1552843312 @default.
- W2141291205 cites W1973037977 @default.
- W2141291205 cites W1995025865 @default.
- W2141291205 cites W2077585224 @default.
- W2141291205 cites W2091280099 @default.
- W2141291205 cites W3021845913 @default.
- W2141291205 cites W3192985230 @default.
- W2141291205 cites W619146373 @default.
- W2141291205 doi "https://doi.org/10.1109/lics.2015.66" @default.
- W2141291205 hasPublicationYear "2015" @default.
- W2141291205 type Work @default.
- W2141291205 sameAs 2141291205 @default.
- W2141291205 citedByCount "0" @default.
- W2141291205 crossrefType "proceedings-article" @default.
- W2141291205 hasAuthorship W2141291205A5009763776 @default.
- W2141291205 hasAuthorship W2141291205A5035315045 @default.
- W2141291205 hasAuthorship W2141291205A5068161463 @default.
- W2141291205 hasBestOaLocation W21412912053 @default.
- W2141291205 hasConcept C105605280 @default.
- W2141291205 hasConcept C108710211 @default.
- W2141291205 hasConcept C11413529 @default.
- W2141291205 hasConcept C114614502 @default.
- W2141291205 hasConcept C118615104 @default.
- W2141291205 hasConcept C134400042 @default.
- W2141291205 hasConcept C136979486 @default.
- W2141291205 hasConcept C138268822 @default.
- W2141291205 hasConcept C14036430 @default.
- W2141291205 hasConcept C154945302 @default.
- W2141291205 hasConcept C179799912 @default.
- W2141291205 hasConcept C199360897 @default.
- W2141291205 hasConcept C2524010 @default.
- W2141291205 hasConcept C33923547 @default.
- W2141291205 hasConcept C41008148 @default.
- W2141291205 hasConcept C78458016 @default.
- W2141291205 hasConcept C86803240 @default.
- W2141291205 hasConceptScore W2141291205C105605280 @default.
- W2141291205 hasConceptScore W2141291205C108710211 @default.
- W2141291205 hasConceptScore W2141291205C11413529 @default.
- W2141291205 hasConceptScore W2141291205C114614502 @default.
- W2141291205 hasConceptScore W2141291205C118615104 @default.
- W2141291205 hasConceptScore W2141291205C134400042 @default.
- W2141291205 hasConceptScore W2141291205C136979486 @default.
- W2141291205 hasConceptScore W2141291205C138268822 @default.
- W2141291205 hasConceptScore W2141291205C14036430 @default.
- W2141291205 hasConceptScore W2141291205C154945302 @default.
- W2141291205 hasConceptScore W2141291205C179799912 @default.
- W2141291205 hasConceptScore W2141291205C199360897 @default.
- W2141291205 hasConceptScore W2141291205C2524010 @default.
- W2141291205 hasConceptScore W2141291205C33923547 @default.
- W2141291205 hasConceptScore W2141291205C41008148 @default.
- W2141291205 hasConceptScore W2141291205C78458016 @default.
- W2141291205 hasConceptScore W2141291205C86803240 @default.
- W2141291205 hasLocation W21412912051 @default.
- W2141291205 hasLocation W21412912052 @default.
- W2141291205 hasLocation W21412912053 @default.
- W2141291205 hasLocation W21412912054 @default.
- W2141291205 hasLocation W21412912055 @default.
- W2141291205 hasOpenAccess W2141291205 @default.
- W2141291205 hasPrimaryLocation W21412912051 @default.
- W2141291205 hasRelatedWork W1618870210 @default.
- W2141291205 hasRelatedWork W1852359712 @default.
- W2141291205 hasRelatedWork W2080412956 @default.
- W2141291205 hasRelatedWork W2084384424 @default.
- W2141291205 hasRelatedWork W2121693434 @default.
- W2141291205 hasRelatedWork W2141291205 @default.
- W2141291205 hasRelatedWork W2397377351 @default.
- W2141291205 hasRelatedWork W2400565179 @default.
- W2141291205 hasRelatedWork W2400715714 @default.
- W2141291205 hasRelatedWork W2804939161 @default.
- W2141291205 isParatext "false" @default.
- W2141291205 isRetracted "false" @default.
- W2141291205 magId "2141291205" @default.
- W2141291205 workType "article" @default.