Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012956948> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2012956948 endingPage "706" @default.
- W2012956948 startingPage "689" @default.
- W2012956948 abstract "Herbelin presented (at CSL'94) a simple sequent calculus for minimal implicational logic, extensible to full firstorder intuitionistic logic, with a complete system of cut-reduction rules which is both confluent and strongly normalizing. Some of the cut rules may be regarded as rules to construct explicit substitutions. He observed that the addition of a cut permutation rule, for propagation of such substitutions, breaks the proof of strong normalization; the implicit conjecture is that the rule may be added without breaking strong normalization. We prove this conjecture, thusshowing how to model beta-reduction in his calculus (extended with rules toallow cut permutations)." @default.
- W2012956948 created "2016-06-24" @default.
- W2012956948 creator A5064769604 @default.
- W2012956948 date "2003-10-01" @default.
- W2012956948 modified "2023-10-18" @default.
- W2012956948 title "Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation" @default.
- W2012956948 doi "https://doi.org/10.1093/logcom/13.5.689" @default.
- W2012956948 hasPublicationYear "2003" @default.
- W2012956948 type Work @default.
- W2012956948 sameAs 2012956948 @default.
- W2012956948 citedByCount "18" @default.
- W2012956948 countsByYear W20129569482014 @default.
- W2012956948 countsByYear W20129569482015 @default.
- W2012956948 countsByYear W20129569482017 @default.
- W2012956948 crossrefType "journal-article" @default.
- W2012956948 hasAuthorship W2012956948A5064769604 @default.
- W2012956948 hasConcept C108710211 @default.
- W2012956948 hasConcept C118615104 @default.
- W2012956948 hasConcept C121332964 @default.
- W2012956948 hasConcept C136886441 @default.
- W2012956948 hasConcept C144024400 @default.
- W2012956948 hasConcept C159333733 @default.
- W2012956948 hasConcept C19165224 @default.
- W2012956948 hasConcept C199343813 @default.
- W2012956948 hasConcept C199360897 @default.
- W2012956948 hasConcept C21308566 @default.
- W2012956948 hasConcept C24890656 @default.
- W2012956948 hasConcept C2524010 @default.
- W2012956948 hasConcept C2777686260 @default.
- W2012956948 hasConcept C2778220771 @default.
- W2012956948 hasConcept C2780990831 @default.
- W2012956948 hasConcept C33923547 @default.
- W2012956948 hasConcept C41008148 @default.
- W2012956948 hasConcept C62073222 @default.
- W2012956948 hasConcept C6489637 @default.
- W2012956948 hasConcept C65880906 @default.
- W2012956948 hasConcept C71924100 @default.
- W2012956948 hasConceptScore W2012956948C108710211 @default.
- W2012956948 hasConceptScore W2012956948C118615104 @default.
- W2012956948 hasConceptScore W2012956948C121332964 @default.
- W2012956948 hasConceptScore W2012956948C136886441 @default.
- W2012956948 hasConceptScore W2012956948C144024400 @default.
- W2012956948 hasConceptScore W2012956948C159333733 @default.
- W2012956948 hasConceptScore W2012956948C19165224 @default.
- W2012956948 hasConceptScore W2012956948C199343813 @default.
- W2012956948 hasConceptScore W2012956948C199360897 @default.
- W2012956948 hasConceptScore W2012956948C21308566 @default.
- W2012956948 hasConceptScore W2012956948C24890656 @default.
- W2012956948 hasConceptScore W2012956948C2524010 @default.
- W2012956948 hasConceptScore W2012956948C2777686260 @default.
- W2012956948 hasConceptScore W2012956948C2778220771 @default.
- W2012956948 hasConceptScore W2012956948C2780990831 @default.
- W2012956948 hasConceptScore W2012956948C33923547 @default.
- W2012956948 hasConceptScore W2012956948C41008148 @default.
- W2012956948 hasConceptScore W2012956948C62073222 @default.
- W2012956948 hasConceptScore W2012956948C6489637 @default.
- W2012956948 hasConceptScore W2012956948C65880906 @default.
- W2012956948 hasConceptScore W2012956948C71924100 @default.
- W2012956948 hasIssue "5" @default.
- W2012956948 hasLocation W20129569481 @default.
- W2012956948 hasOpenAccess W2012956948 @default.
- W2012956948 hasPrimaryLocation W20129569481 @default.
- W2012956948 hasRelatedWork W1559721183 @default.
- W2012956948 hasRelatedWork W1562648369 @default.
- W2012956948 hasRelatedWork W1578162183 @default.
- W2012956948 hasRelatedWork W1948777370 @default.
- W2012956948 hasRelatedWork W2106490090 @default.
- W2012956948 hasRelatedWork W2949850724 @default.
- W2012956948 hasRelatedWork W4285491326 @default.
- W2012956948 hasRelatedWork W1839771719 @default.
- W2012956948 hasRelatedWork W2584381231 @default.
- W2012956948 hasRelatedWork W2753829850 @default.
- W2012956948 hasVolume "13" @default.
- W2012956948 isParatext "false" @default.
- W2012956948 isRetracted "false" @default.
- W2012956948 magId "2012956948" @default.
- W2012956948 workType "article" @default.