FRINK Linked Data Fragments server

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

• W1934227669 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.
• W1934227669 created "2016-06-24" @default.
• W1934227669 creator A5001628885 @default.
• W1934227669 creator A5007010992 @default.
• W1934227669 creator A5083676860 @default.
• W1934227669 creator A5083986303 @default.
• W1934227669 date "2016-05-03" @default.
• W1934227669 modified "2023-09-27" @default.
• W1934227669 title "Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae" @default.
• W1934227669 cites W1517585663 @default.
• W1934227669 cites W1534718845 @default.
• W1934227669 cites W1551302556 @default.
• W1934227669 cites W155894625 @default.
• W1934227669 cites W1584701575 @default.
• W1934227669 cites W1600264565 @default.
• W1934227669 cites W1811725859 @default.
• W1934227669 cites W1970822788 @default.
• W1934227669 cites W1975460819 @default.
• W1934227669 cites W1990883597 @default.
• W1934227669 cites W1994532891 @default.
• W1934227669 cites W2006792923 @default.
• W1934227669 cites W2008876986 @default.
• W1934227669 cites W2033464726 @default.
• W1934227669 cites W2056365917 @default.
• W1934227669 cites W2063043413 @default.
• W1934227669 cites W2102625227 @default.
• W1934227669 cites W2116328015 @default.
• W1934227669 cites W2117737141 @default.
• W1934227669 cites W2119641906 @default.
• W1934227669 cites W2141654045 @default.
• W1934227669 cites W2142352656 @default.
• W1934227669 cites W2158912767 @default.
• W1934227669 cites W2164916433 @default.
• W1934227669 cites W2168699673 @default.
• W1934227669 cites W2168747849 @default.
• W1934227669 cites W2169378607 @default.
• W1934227669 cites W4501298 @default.
• W1934227669 cites W45015213 @default.
• W1934227669 cites W62459810 @default.
• W1934227669 cites W64134619 @default.
• W1934227669 cites W2584124342 @default.
• W1934227669 doi "https://doi.org/10.2168/lmcs-12(2:5)2016" @default.
• W1934227669 hasPublicationYear "2016" @default.
• W1934227669 type Work @default.
• W1934227669 sameAs 1934227669 @default.
• W1934227669 citedByCount "1" @default.
• W1934227669 countsByYear W19342276692022 @default.
• W1934227669 crossrefType "journal-article" @default.
• W1934227669 hasAuthorship W1934227669A5001628885 @default.
• W1934227669 hasAuthorship W1934227669A5007010992 @default.
• W1934227669 hasAuthorship W1934227669A5083676860 @default.
• W1934227669 hasAuthorship W1934227669A5083986303 @default.
• W1934227669 hasBestOaLocation W19342276691 @default.
• W1934227669 hasConcept C105605280 @default.
• W1934227669 hasConcept C108710211 @default.
• W1934227669 hasConcept C111404639 @default.
• W1934227669 hasConcept C111472728 @default.
• W1934227669 hasConcept C11413529 @default.
• W1934227669 hasConcept C118615104 @default.
• W1934227669 hasConcept C138885662 @default.
• W1934227669 hasConcept C154945302 @default.
• W1934227669 hasConcept C199343813 @default.
• W1934227669 hasConcept C2318724 @default.
• W1934227669 hasConcept C2524010 @default.
• W1934227669 hasConcept C2776214188 @default.
• W1934227669 hasConcept C2777686260 @default.
• W1934227669 hasConcept C2780586882 @default.
• W1934227669 hasConcept C33923547 @default.
• W1934227669 hasConcept C3746660 @default.
• W1934227669 hasConcept C41008148 @default.
• W1934227669 hasConcept C41895202 @default.
• W1934227669 hasConcept C62073222 @default.
• W1934227669 hasConcept C6489637 @default.
• W1934227669 hasConcept C65880906 @default.
• W1934227669 hasConcept C69562738 @default.
• W1934227669 hasConcept C71924100 @default.
• W1934227669 hasConcept C75291252 @default.
• W1934227669 hasConcept C89421646 @default.
• W1934227669 hasConceptScore W1934227669C105605280 @default.
• W1934227669 hasConceptScore W1934227669C108710211 @default.
• W1934227669 hasConceptScore W1934227669C111404639 @default.
• W1934227669 hasConceptScore W1934227669C111472728 @default.
• W1934227669 hasConceptScore W1934227669C11413529 @default.
• W1934227669 hasConceptScore W1934227669C118615104 @default.
• W1934227669 hasConceptScore W1934227669C138885662 @default.
• W1934227669 hasConceptScore W1934227669C154945302 @default.
• W1934227669 hasConceptScore W1934227669C199343813 @default.
• W1934227669 hasConceptScore W1934227669C2318724 @default.
• W1934227669 hasConceptScore W1934227669C2524010 @default.
• W1934227669 hasConceptScore W1934227669C2776214188 @default.
• W1934227669 hasConceptScore W1934227669C2777686260 @default.
• W1934227669 hasConceptScore W1934227669C2780586882 @default.
• W1934227669 hasConceptScore W1934227669C33923547 @default.
• W1934227669 hasConceptScore W1934227669C3746660 @default.
• W1934227669 hasConceptScore W1934227669C41008148 @default.
• W1934227669 hasConceptScore W1934227669C41895202 @default.
• W1934227669 hasConceptScore W1934227669C62073222 @default.
• W1934227669 hasConceptScore W1934227669C6489637 @default.
• W1934227669 hasConceptScore W1934227669C65880906 @default.
• W1934227669 hasConceptScore W1934227669C69562738 @default.

• next