Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367190972> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4367190972 abstract "Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability, complexity, disjunction property, and interpolation. Unfortunately cut-elimination does not hold for the sequent calculi of most non-classical logics. It is well-known that the key to applications is the subformula property (a typical consequence of cut-elimination) rather than cut-elimination itself. With this in mind we introduce cut-restriction, a procedure to restrict arbitrary cuts to analytic cuts (when elimination is not possible). The algorithm applies to all sequent calculi satisfying language-independent and simple-to-check conditions, and it is obtained by adapting age-old cut-elimination. Our work encompasses existing results in a uniform way, and establishes novel analytic subformula properties." @default.
- W4367190972 created "2023-04-28" @default.
- W4367190972 creator A5001826398 @default.
- W4367190972 creator A5063923584 @default.
- W4367190972 creator A5086733054 @default.
- W4367190972 date "2023-04-26" @default.
- W4367190972 modified "2023-09-30" @default.
- W4367190972 title "Cut-restriction: from cuts to analytic cuts" @default.
- W4367190972 doi "https://doi.org/10.48550/arxiv.2304.13657" @default.
- W4367190972 hasPublicationYear "2023" @default.
- W4367190972 type Work @default.
- W4367190972 citedByCount "0" @default.
- W4367190972 crossrefType "posted-content" @default.
- W4367190972 hasAuthorship W4367190972A5001826398 @default.
- W4367190972 hasAuthorship W4367190972A5063923584 @default.
- W4367190972 hasAuthorship W4367190972A5086733054 @default.
- W4367190972 hasBestOaLocation W43671909721 @default.
- W4367190972 hasConcept C104114177 @default.
- W4367190972 hasConcept C108710211 @default.
- W4367190972 hasConcept C111472728 @default.
- W4367190972 hasConcept C11413529 @default.
- W4367190972 hasConcept C118615104 @default.
- W4367190972 hasConcept C137800194 @default.
- W4367190972 hasConcept C138885662 @default.
- W4367190972 hasConcept C144237770 @default.
- W4367190972 hasConcept C153269930 @default.
- W4367190972 hasConcept C154945302 @default.
- W4367190972 hasConcept C189950617 @default.
- W4367190972 hasConcept C199343813 @default.
- W4367190972 hasConcept C202854965 @default.
- W4367190972 hasConcept C2524010 @default.
- W4367190972 hasConcept C26517878 @default.
- W4367190972 hasConcept C2777686260 @default.
- W4367190972 hasConcept C2780586882 @default.
- W4367190972 hasConcept C33923547 @default.
- W4367190972 hasConcept C38652104 @default.
- W4367190972 hasConcept C41008148 @default.
- W4367190972 hasConcept C65880906 @default.
- W4367190972 hasConcept C71924100 @default.
- W4367190972 hasConcept C89421646 @default.
- W4367190972 hasConceptScore W4367190972C104114177 @default.
- W4367190972 hasConceptScore W4367190972C108710211 @default.
- W4367190972 hasConceptScore W4367190972C111472728 @default.
- W4367190972 hasConceptScore W4367190972C11413529 @default.
- W4367190972 hasConceptScore W4367190972C118615104 @default.
- W4367190972 hasConceptScore W4367190972C137800194 @default.
- W4367190972 hasConceptScore W4367190972C138885662 @default.
- W4367190972 hasConceptScore W4367190972C144237770 @default.
- W4367190972 hasConceptScore W4367190972C153269930 @default.
- W4367190972 hasConceptScore W4367190972C154945302 @default.
- W4367190972 hasConceptScore W4367190972C189950617 @default.
- W4367190972 hasConceptScore W4367190972C199343813 @default.
- W4367190972 hasConceptScore W4367190972C202854965 @default.
- W4367190972 hasConceptScore W4367190972C2524010 @default.
- W4367190972 hasConceptScore W4367190972C26517878 @default.
- W4367190972 hasConceptScore W4367190972C2777686260 @default.
- W4367190972 hasConceptScore W4367190972C2780586882 @default.
- W4367190972 hasConceptScore W4367190972C33923547 @default.
- W4367190972 hasConceptScore W4367190972C38652104 @default.
- W4367190972 hasConceptScore W4367190972C41008148 @default.
- W4367190972 hasConceptScore W4367190972C65880906 @default.
- W4367190972 hasConceptScore W4367190972C71924100 @default.
- W4367190972 hasConceptScore W4367190972C89421646 @default.
- W4367190972 hasLocation W43671909721 @default.
- W4367190972 hasOpenAccess W4367190972 @default.
- W4367190972 hasPrimaryLocation W43671909721 @default.
- W4367190972 hasRelatedWork W112730021 @default.
- W4367190972 hasRelatedWork W1568540128 @default.
- W4367190972 hasRelatedWork W2610324650 @default.
- W4367190972 hasRelatedWork W2949403236 @default.
- W4367190972 hasRelatedWork W2967984582 @default.
- W4367190972 hasRelatedWork W3017269122 @default.
- W4367190972 hasRelatedWork W3111183236 @default.
- W4367190972 hasRelatedWork W4223969606 @default.
- W4367190972 hasRelatedWork W4294560808 @default.
- W4367190972 hasRelatedWork W2340650165 @default.
- W4367190972 isParatext "false" @default.
- W4367190972 isRetracted "false" @default.
- W4367190972 workType "article" @default.