FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2763102664> ?p ?o ?g. }

• W2763102664 endingPage "153" @default.
• W2763102664 startingPage "136" @default.
• W2763102664 abstract "Jev{r}'abek showed that cuts in classical propositional logic proofs in deep inference can be eliminated in quasipolynomial time. The proof is indirect and it relies on a result of Atserias, Galesi and Pudl'ak about monotone sequent calculus and a correspondence between that system and cut-free deep-inference proofs. In this paper we give a direct proof of Jev{r}'abek's result: we give a quasipolynomial-time cut-elimination procedure for classical propositional logic in deep inference. The main new ingredient is the use of a computational trace of deep-inference proofs called atomic flows, which are both very simple (they only trace structural rules and forget logical rules) and strong enough to faithfully represent the cut-elimination procedure." @default.
• W2763102664 created "2017-10-20" @default.
• W2763102664 creator A5001628885 @default.
• W2763102664 creator A5007010992 @default.
• W2763102664 creator A5083676860 @default.
• W2763102664 creator A5083986303 @default.
• W2763102664 date "2010-01-01" @default.
• W2763102664 modified "2023-10-18" @default.
• W2763102664 title "A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae" @default.
• W2763102664 cites W1811725859 @default.
• W2763102664 cites W1970822788 @default.
• W2763102664 cites W2102625227 @default.
• W2763102664 cites W2141654045 @default.
• W2763102664 cites W2158912767 @default.
• W2763102664 cites W2164916433 @default.
• W2763102664 cites W3123028025 @default.
• W2763102664 doi "https://doi.org/10.1007/978-3-642-17511-4_9" @default.
• W2763102664 hasPublicationYear "2010" @default.
• W2763102664 type Work @default.
• W2763102664 sameAs 2763102664 @default.
• W2763102664 citedByCount "14" @default.
• W2763102664 countsByYear W27631026642012 @default.
• W2763102664 countsByYear W27631026642013 @default.
• W2763102664 countsByYear W27631026642014 @default.
• W2763102664 countsByYear W27631026642015 @default.
• W2763102664 countsByYear W27631026642016 @default.
• W2763102664 countsByYear W27631026642017 @default.
• W2763102664 countsByYear W27631026642019 @default.
• W2763102664 crossrefType "book-chapter" @default.
• W2763102664 hasAuthorship W2763102664A5001628885 @default.
• W2763102664 hasAuthorship W2763102664A5007010992 @default.
• W2763102664 hasAuthorship W2763102664A5083676860 @default.
• W2763102664 hasAuthorship W2763102664A5083986303 @default.
• W2763102664 hasBestOaLocation W27631026644 @default.
• W2763102664 hasConcept C105605280 @default.
• W2763102664 hasConcept C108710211 @default.
• W2763102664 hasConcept C111404639 @default.
• W2763102664 hasConcept C111472728 @default.
• W2763102664 hasConcept C11413529 @default.
• W2763102664 hasConcept C118615104 @default.
• W2763102664 hasConcept C138885662 @default.
• W2763102664 hasConcept C154945302 @default.
• W2763102664 hasConcept C199343813 @default.
• W2763102664 hasConcept C2318724 @default.
• W2763102664 hasConcept C2524010 @default.
• W2763102664 hasConcept C2776214188 @default.
• W2763102664 hasConcept C2777686260 @default.
• W2763102664 hasConcept C2780586882 @default.
• W2763102664 hasConcept C2834757 @default.
• W2763102664 hasConcept C33923547 @default.
• W2763102664 hasConcept C3746660 @default.
• W2763102664 hasConcept C41008148 @default.
• W2763102664 hasConcept C41895202 @default.
• W2763102664 hasConcept C62073222 @default.
• W2763102664 hasConcept C6489637 @default.
• W2763102664 hasConcept C65880906 @default.
• W2763102664 hasConcept C69562738 @default.
• W2763102664 hasConcept C71924100 @default.
• W2763102664 hasConcept C75291252 @default.
• W2763102664 hasConcept C89421646 @default.
• W2763102664 hasConceptScore W2763102664C105605280 @default.
• W2763102664 hasConceptScore W2763102664C108710211 @default.
• W2763102664 hasConceptScore W2763102664C111404639 @default.
• W2763102664 hasConceptScore W2763102664C111472728 @default.
• W2763102664 hasConceptScore W2763102664C11413529 @default.
• W2763102664 hasConceptScore W2763102664C118615104 @default.
• W2763102664 hasConceptScore W2763102664C138885662 @default.
• W2763102664 hasConceptScore W2763102664C154945302 @default.
• W2763102664 hasConceptScore W2763102664C199343813 @default.
• W2763102664 hasConceptScore W2763102664C2318724 @default.
• W2763102664 hasConceptScore W2763102664C2524010 @default.
• W2763102664 hasConceptScore W2763102664C2776214188 @default.
• W2763102664 hasConceptScore W2763102664C2777686260 @default.
• W2763102664 hasConceptScore W2763102664C2780586882 @default.
• W2763102664 hasConceptScore W2763102664C2834757 @default.
• W2763102664 hasConceptScore W2763102664C33923547 @default.
• W2763102664 hasConceptScore W2763102664C3746660 @default.
• W2763102664 hasConceptScore W2763102664C41008148 @default.
• W2763102664 hasConceptScore W2763102664C41895202 @default.
• W2763102664 hasConceptScore W2763102664C62073222 @default.
• W2763102664 hasConceptScore W2763102664C6489637 @default.
• W2763102664 hasConceptScore W2763102664C65880906 @default.
• W2763102664 hasConceptScore W2763102664C69562738 @default.
• W2763102664 hasConceptScore W2763102664C71924100 @default.
• W2763102664 hasConceptScore W2763102664C75291252 @default.
• W2763102664 hasConceptScore W2763102664C89421646 @default.
• W2763102664 hasLocation W27631026641 @default.
• W2763102664 hasLocation W27631026642 @default.
• W2763102664 hasLocation W27631026643 @default.
• W2763102664 hasLocation W27631026644 @default.
• W2763102664 hasLocation W27631026645 @default.
• W2763102664 hasLocation W27631026646 @default.
• W2763102664 hasLocation W27631026647 @default.
• W2763102664 hasOpenAccess W2763102664 @default.
• W2763102664 hasPrimaryLocation W27631026641 @default.
• W2763102664 hasRelatedWork W1479042755 @default.
• W2763102664 hasRelatedWork W1934227669 @default.
• W2763102664 hasRelatedWork W2064948582 @default.

• next