Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521303708> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1521303708 endingPage "31" @default.
- W1521303708 startingPage "17" @default.
- W1521303708 abstract "In this paper, a new notion for sequent calculus (à la Gentzen) for Pure Type Systems (PTS) is introduced. This new calculus, $$ mathcal{K} $$ , is equivalent to the standard PTS, and it has a cut-free subsystem, $$ mathcal{K}^{{text{cf}}} $$ , that will be proved to hold non-trivial properties such as the structural rules of Gentzen/Kleene: thinning, contraction, and interchange. An interpretation of completeness of the $$ mathcal{K}^{{text{cf}}} $$ system yields the concept of Cut Elimination, (CE), and it is an essential technique in proof theory; thus we think that it will have a deep impact on PTS and in logical frameworks based on PTS." @default.
- W1521303708 created "2016-06-24" @default.
- W1521303708 creator A5028417919 @default.
- W1521303708 creator A5069845732 @default.
- W1521303708 date "2003-01-01" @default.
- W1521303708 modified "2023-09-30" @default.
- W1521303708 title "A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene" @default.
- W1521303708 cites W1604414549 @default.
- W1521303708 cites W1608751598 @default.
- W1521303708 cites W1990370351 @default.
- W1521303708 cites W2026722727 @default.
- W1521303708 cites W2039977878 @default.
- W1521303708 cites W2045947583 @default.
- W1521303708 cites W2058338325 @default.
- W1521303708 cites W2075337691 @default.
- W1521303708 cites W2118612811 @default.
- W1521303708 cites W2120300141 @default.
- W1521303708 cites W2134699386 @default.
- W1521303708 cites W2398461955 @default.
- W1521303708 cites W3023993646 @default.
- W1521303708 cites W4210927669 @default.
- W1521303708 doi "https://doi.org/10.1007/3-540-45013-0_2" @default.
- W1521303708 hasPublicationYear "2003" @default.
- W1521303708 type Work @default.
- W1521303708 sameAs 1521303708 @default.
- W1521303708 citedByCount "4" @default.
- W1521303708 crossrefType "book-chapter" @default.
- W1521303708 hasAuthorship W1521303708A5028417919 @default.
- W1521303708 hasAuthorship W1521303708A5069845732 @default.
- W1521303708 hasConcept C108710211 @default.
- W1521303708 hasConcept C111404639 @default.
- W1521303708 hasConcept C11413529 @default.
- W1521303708 hasConcept C118615104 @default.
- W1521303708 hasConcept C134306372 @default.
- W1521303708 hasConcept C136119220 @default.
- W1521303708 hasConcept C17231256 @default.
- W1521303708 hasConcept C18903297 @default.
- W1521303708 hasConcept C199343813 @default.
- W1521303708 hasConcept C199360897 @default.
- W1521303708 hasConcept C202444582 @default.
- W1521303708 hasConcept C2318724 @default.
- W1521303708 hasConcept C2524010 @default.
- W1521303708 hasConcept C2777299769 @default.
- W1521303708 hasConcept C2777686260 @default.
- W1521303708 hasConcept C33923547 @default.
- W1521303708 hasConcept C41008148 @default.
- W1521303708 hasConcept C527412718 @default.
- W1521303708 hasConcept C62073222 @default.
- W1521303708 hasConcept C6489637 @default.
- W1521303708 hasConcept C65880906 @default.
- W1521303708 hasConcept C71924100 @default.
- W1521303708 hasConcept C86803240 @default.
- W1521303708 hasConcept C89421646 @default.
- W1521303708 hasConceptScore W1521303708C108710211 @default.
- W1521303708 hasConceptScore W1521303708C111404639 @default.
- W1521303708 hasConceptScore W1521303708C11413529 @default.
- W1521303708 hasConceptScore W1521303708C118615104 @default.
- W1521303708 hasConceptScore W1521303708C134306372 @default.
- W1521303708 hasConceptScore W1521303708C136119220 @default.
- W1521303708 hasConceptScore W1521303708C17231256 @default.
- W1521303708 hasConceptScore W1521303708C18903297 @default.
- W1521303708 hasConceptScore W1521303708C199343813 @default.
- W1521303708 hasConceptScore W1521303708C199360897 @default.
- W1521303708 hasConceptScore W1521303708C202444582 @default.
- W1521303708 hasConceptScore W1521303708C2318724 @default.
- W1521303708 hasConceptScore W1521303708C2524010 @default.
- W1521303708 hasConceptScore W1521303708C2777299769 @default.
- W1521303708 hasConceptScore W1521303708C2777686260 @default.
- W1521303708 hasConceptScore W1521303708C33923547 @default.
- W1521303708 hasConceptScore W1521303708C41008148 @default.
- W1521303708 hasConceptScore W1521303708C527412718 @default.
- W1521303708 hasConceptScore W1521303708C62073222 @default.
- W1521303708 hasConceptScore W1521303708C6489637 @default.
- W1521303708 hasConceptScore W1521303708C65880906 @default.
- W1521303708 hasConceptScore W1521303708C71924100 @default.
- W1521303708 hasConceptScore W1521303708C86803240 @default.
- W1521303708 hasConceptScore W1521303708C89421646 @default.
- W1521303708 hasLocation W15213037081 @default.
- W1521303708 hasOpenAccess W1521303708 @default.
- W1521303708 hasPrimaryLocation W15213037081 @default.
- W1521303708 hasRelatedWork W1479042755 @default.
- W1521303708 hasRelatedWork W1562648369 @default.
- W1521303708 hasRelatedWork W2009791150 @default.
- W1521303708 hasRelatedWork W2137780954 @default.
- W1521303708 hasRelatedWork W2351433375 @default.
- W1521303708 hasRelatedWork W2513857873 @default.
- W1521303708 hasRelatedWork W2793983771 @default.
- W1521303708 hasRelatedWork W2891688494 @default.
- W1521303708 hasRelatedWork W3112266304 @default.
- W1521303708 hasRelatedWork W2584381231 @default.
- W1521303708 isParatext "false" @default.
- W1521303708 isRetracted "false" @default.
- W1521303708 magId "1521303708" @default.
- W1521303708 workType "book-chapter" @default.