Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552462051> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W1552462051 abstract "Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicational case, thus strengthening existing approaches to Cut-admissibility. We decorate proofs with terms and introduce various term-reduction systems representing proof transformations. In contrast to previous papers which gave different arguments for Cut-admissibility suggesting weakly normalising procedures for Cut-elimination, our main reduction system and all its variations are strongly normalising, with the variations corresponding to different optimisations, some of them with good properties such as confluence." @default.
- W1552462051 created "2016-06-24" @default.
- W1552462051 creator A5012745022 @default.
- W1552462051 creator A5064769604 @default.
- W1552462051 creator A5077330939 @default.
- W1552462051 date "2006-01-01" @default.
- W1552462051 modified "2023-09-30" @default.
- W1552462051 title "Strong Cut-Elimination Systems for Hudelmaier’s Depth-Bounded Sequent Calculus for Implicational Logic" @default.
- W1552462051 cites W1526849630 @default.
- W1552462051 cites W1552462051 @default.
- W1552462051 cites W1571434350 @default.
- W1552462051 cites W1679090009 @default.
- W1552462051 cites W1983271240 @default.
- W1552462051 cites W2014030742 @default.
- W1552462051 cites W2127394739 @default.
- W1552462051 cites W2131739376 @default.
- W1552462051 cites W2134005639 @default.
- W1552462051 cites W2180471721 @default.
- W1552462051 cites W2499474130 @default.
- W1552462051 cites W4214599228 @default.
- W1552462051 cites W4230919050 @default.
- W1552462051 cites W4249736722 @default.
- W1552462051 doi "https://doi.org/10.1007/11814771_31" @default.
- W1552462051 hasPublicationYear "2006" @default.
- W1552462051 type Work @default.
- W1552462051 sameAs 1552462051 @default.
- W1552462051 citedByCount "4" @default.
- W1552462051 countsByYear W15524620512016 @default.
- W1552462051 crossrefType "book-chapter" @default.
- W1552462051 hasAuthorship W1552462051A5012745022 @default.
- W1552462051 hasAuthorship W1552462051A5064769604 @default.
- W1552462051 hasAuthorship W1552462051A5077330939 @default.
- W1552462051 hasConcept C108710211 @default.
- W1552462051 hasConcept C111335779 @default.
- W1552462051 hasConcept C111404639 @default.
- W1552462051 hasConcept C11413529 @default.
- W1552462051 hasConcept C118615104 @default.
- W1552462051 hasConcept C134306372 @default.
- W1552462051 hasConcept C136119220 @default.
- W1552462051 hasConcept C199343813 @default.
- W1552462051 hasConcept C199360897 @default.
- W1552462051 hasConcept C202444582 @default.
- W1552462051 hasConcept C2524010 @default.
- W1552462051 hasConcept C2777686260 @default.
- W1552462051 hasConcept C28077239 @default.
- W1552462051 hasConcept C33923547 @default.
- W1552462051 hasConcept C34388435 @default.
- W1552462051 hasConcept C41008148 @default.
- W1552462051 hasConcept C62073222 @default.
- W1552462051 hasConcept C65880906 @default.
- W1552462051 hasConcept C71924100 @default.
- W1552462051 hasConcept C77906462 @default.
- W1552462051 hasConcept C80444323 @default.
- W1552462051 hasConcept C85343465 @default.
- W1552462051 hasConcept C89421646 @default.
- W1552462051 hasConceptScore W1552462051C108710211 @default.
- W1552462051 hasConceptScore W1552462051C111335779 @default.
- W1552462051 hasConceptScore W1552462051C111404639 @default.
- W1552462051 hasConceptScore W1552462051C11413529 @default.
- W1552462051 hasConceptScore W1552462051C118615104 @default.
- W1552462051 hasConceptScore W1552462051C134306372 @default.
- W1552462051 hasConceptScore W1552462051C136119220 @default.
- W1552462051 hasConceptScore W1552462051C199343813 @default.
- W1552462051 hasConceptScore W1552462051C199360897 @default.
- W1552462051 hasConceptScore W1552462051C202444582 @default.
- W1552462051 hasConceptScore W1552462051C2524010 @default.
- W1552462051 hasConceptScore W1552462051C2777686260 @default.
- W1552462051 hasConceptScore W1552462051C28077239 @default.
- W1552462051 hasConceptScore W1552462051C33923547 @default.
- W1552462051 hasConceptScore W1552462051C34388435 @default.
- W1552462051 hasConceptScore W1552462051C41008148 @default.
- W1552462051 hasConceptScore W1552462051C62073222 @default.
- W1552462051 hasConceptScore W1552462051C65880906 @default.
- W1552462051 hasConceptScore W1552462051C71924100 @default.
- W1552462051 hasConceptScore W1552462051C77906462 @default.
- W1552462051 hasConceptScore W1552462051C80444323 @default.
- W1552462051 hasConceptScore W1552462051C85343465 @default.
- W1552462051 hasConceptScore W1552462051C89421646 @default.
- W1552462051 hasLocation W15524620511 @default.
- W1552462051 hasOpenAccess W1552462051 @default.
- W1552462051 hasPrimaryLocation W15524620511 @default.
- W1552462051 hasRelatedWork W1562648369 @default.
- W1552462051 hasRelatedWork W2010605843 @default.
- W1552462051 hasRelatedWork W2128959251 @default.
- W1552462051 hasRelatedWork W2137780954 @default.
- W1552462051 hasRelatedWork W2351433375 @default.
- W1552462051 hasRelatedWork W2513857873 @default.
- W1552462051 hasRelatedWork W3090765541 @default.
- W1552462051 hasRelatedWork W4289719533 @default.
- W1552462051 hasRelatedWork W4295728898 @default.
- W1552462051 hasRelatedWork W2584381231 @default.
- W1552462051 isParatext "false" @default.
- W1552462051 isRetracted "false" @default.
- W1552462051 magId "1552462051" @default.
- W1552462051 workType "book-chapter" @default.