Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111155907> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2111155907 endingPage "26" @default.
- W2111155907 startingPage "1" @default.
- W2111155907 abstract "Abstract Dyckhoff and Pinto present a weakly normalising system of reductions on derivations are characterised as the fixed points of the composition of the Prawitz translations into natural deduction and back. This paper presents a formalisation of the system, including a proof of the Weak normalisation property for the formalisation. More details can be found in earlier work by the author. The formalisation has been kept as closes as possible to the original presentation to allow an evaluation of the state of proof assistance for such methods, and to ensure similarity of methods, and not merely similarly of results. The formalisation is restricted to the implicational fragment of intuitionistic logic." @default.
- W2111155907 created "2016-06-24" @default.
- W2111155907 creator A5052253577 @default.
- W2111155907 date "2000-01-01" @default.
- W2111155907 modified "2023-09-27" @default.
- W2111155907 title "A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs" @default.
- W2111155907 cites W1036388830 @default.
- W2111155907 cites W1481088546 @default.
- W2111155907 cites W1496085154 @default.
- W2111155907 cites W1496188934 @default.
- W2111155907 cites W1506616756 @default.
- W2111155907 cites W1522873391 @default.
- W2111155907 cites W1570297344 @default.
- W2111155907 cites W1573802872 @default.
- W2111155907 cites W1949275316 @default.
- W2111155907 cites W1968376266 @default.
- W2111155907 cites W2030752324 @default.
- W2111155907 cites W2086742209 @default.
- W2111155907 cites W2087028873 @default.
- W2111155907 cites W2094047447 @default.
- W2111155907 cites W2108857165 @default.
- W2111155907 cites W2123887510 @default.
- W2111155907 cites W2131739376 @default.
- W2111155907 cites W2568721247 @default.
- W2111155907 doi "https://doi.org/10.1112/s1461157000000188" @default.
- W2111155907 hasPublicationYear "2000" @default.
- W2111155907 type Work @default.
- W2111155907 sameAs 2111155907 @default.
- W2111155907 citedByCount "2" @default.
- W2111155907 countsByYear W21111559072015 @default.
- W2111155907 crossrefType "journal-article" @default.
- W2111155907 hasAuthorship W2111155907A5052253577 @default.
- W2111155907 hasBestOaLocation W21111559071 @default.
- W2111155907 hasConcept C108710211 @default.
- W2111155907 hasConcept C111472728 @default.
- W2111155907 hasConcept C11413529 @default.
- W2111155907 hasConcept C118615104 @default.
- W2111155907 hasConcept C136119220 @default.
- W2111155907 hasConcept C138885662 @default.
- W2111155907 hasConcept C189950617 @default.
- W2111155907 hasConcept C195653647 @default.
- W2111155907 hasConcept C199343813 @default.
- W2111155907 hasConcept C202444582 @default.
- W2111155907 hasConcept C2318724 @default.
- W2111155907 hasConcept C2524010 @default.
- W2111155907 hasConcept C2776235265 @default.
- W2111155907 hasConcept C2777686260 @default.
- W2111155907 hasConcept C33923547 @default.
- W2111155907 hasConcept C62073222 @default.
- W2111155907 hasConcept C65880906 @default.
- W2111155907 hasConcept C71924100 @default.
- W2111155907 hasConcept C85343465 @default.
- W2111155907 hasConcept C89421646 @default.
- W2111155907 hasConceptScore W2111155907C108710211 @default.
- W2111155907 hasConceptScore W2111155907C111472728 @default.
- W2111155907 hasConceptScore W2111155907C11413529 @default.
- W2111155907 hasConceptScore W2111155907C118615104 @default.
- W2111155907 hasConceptScore W2111155907C136119220 @default.
- W2111155907 hasConceptScore W2111155907C138885662 @default.
- W2111155907 hasConceptScore W2111155907C189950617 @default.
- W2111155907 hasConceptScore W2111155907C195653647 @default.
- W2111155907 hasConceptScore W2111155907C199343813 @default.
- W2111155907 hasConceptScore W2111155907C202444582 @default.
- W2111155907 hasConceptScore W2111155907C2318724 @default.
- W2111155907 hasConceptScore W2111155907C2524010 @default.
- W2111155907 hasConceptScore W2111155907C2776235265 @default.
- W2111155907 hasConceptScore W2111155907C2777686260 @default.
- W2111155907 hasConceptScore W2111155907C33923547 @default.
- W2111155907 hasConceptScore W2111155907C62073222 @default.
- W2111155907 hasConceptScore W2111155907C65880906 @default.
- W2111155907 hasConceptScore W2111155907C71924100 @default.
- W2111155907 hasConceptScore W2111155907C85343465 @default.
- W2111155907 hasConceptScore W2111155907C89421646 @default.
- W2111155907 hasLocation W21111559071 @default.
- W2111155907 hasOpenAccess W2111155907 @default.
- W2111155907 hasPrimaryLocation W21111559071 @default.
- W2111155907 hasRelatedWork W1557149243 @default.
- W2111155907 hasRelatedWork W1566344352 @default.
- W2111155907 hasRelatedWork W2793983771 @default.
- W2111155907 hasRelatedWork W27959772 @default.
- W2111155907 hasRelatedWork W2806893870 @default.
- W2111155907 hasRelatedWork W2891688494 @default.
- W2111155907 hasRelatedWork W2902193508 @default.
- W2111155907 hasRelatedWork W4210480840 @default.
- W2111155907 hasRelatedWork W4300885336 @default.
- W2111155907 hasRelatedWork W9738743 @default.
- W2111155907 hasVolume "3" @default.
- W2111155907 isParatext "false" @default.
- W2111155907 isRetracted "false" @default.
- W2111155907 magId "2111155907" @default.
- W2111155907 workType "article" @default.