Matches in SemOpenAlex for { <https://semopenalex.org/work/W2610324650> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2610324650 abstract "We show how Leibnitz.s indiscernibility principle and Gentzen's original work lead to extensions of the sequent calculus to first order logic with equality and investigate the cut elimination property. Furthermore we discuss and improve the nonlengthening property of Lifshitz and Orevkov." @default.
- W2610324650 created "2017-05-12" @default.
- W2610324650 creator A5055139955 @default.
- W2610324650 creator A5064634674 @default.
- W2610324650 date "2017-05-01" @default.
- W2610324650 modified "2023-09-27" @default.
- W2610324650 title "The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality" @default.
- W2610324650 cites W1482532876 @default.
- W2610324650 cites W1528233644 @default.
- W2610324650 cites W1795577507 @default.
- W2610324650 cites W1819006997 @default.
- W2610324650 cites W2019486724 @default.
- W2610324650 cites W2090663022 @default.
- W2610324650 hasPublicationYear "2017" @default.
- W2610324650 type Work @default.
- W2610324650 sameAs 2610324650 @default.
- W2610324650 citedByCount "0" @default.
- W2610324650 crossrefType "posted-content" @default.
- W2610324650 hasAuthorship W2610324650A5055139955 @default.
- W2610324650 hasAuthorship W2610324650A5064634674 @default.
- W2610324650 hasConcept C10138342 @default.
- W2610324650 hasConcept C108710211 @default.
- W2610324650 hasConcept C111404639 @default.
- W2610324650 hasConcept C111472728 @default.
- W2610324650 hasConcept C118615104 @default.
- W2610324650 hasConcept C138885662 @default.
- W2610324650 hasConcept C162324750 @default.
- W2610324650 hasConcept C182306322 @default.
- W2610324650 hasConcept C189950617 @default.
- W2610324650 hasConcept C199343813 @default.
- W2610324650 hasConcept C202444582 @default.
- W2610324650 hasConcept C2524010 @default.
- W2610324650 hasConcept C2777686260 @default.
- W2610324650 hasConcept C33923547 @default.
- W2610324650 hasConcept C62073222 @default.
- W2610324650 hasConcept C6489637 @default.
- W2610324650 hasConcept C65880906 @default.
- W2610324650 hasConcept C71924100 @default.
- W2610324650 hasConcept C89421646 @default.
- W2610324650 hasConceptScore W2610324650C10138342 @default.
- W2610324650 hasConceptScore W2610324650C108710211 @default.
- W2610324650 hasConceptScore W2610324650C111404639 @default.
- W2610324650 hasConceptScore W2610324650C111472728 @default.
- W2610324650 hasConceptScore W2610324650C118615104 @default.
- W2610324650 hasConceptScore W2610324650C138885662 @default.
- W2610324650 hasConceptScore W2610324650C162324750 @default.
- W2610324650 hasConceptScore W2610324650C182306322 @default.
- W2610324650 hasConceptScore W2610324650C189950617 @default.
- W2610324650 hasConceptScore W2610324650C199343813 @default.
- W2610324650 hasConceptScore W2610324650C202444582 @default.
- W2610324650 hasConceptScore W2610324650C2524010 @default.
- W2610324650 hasConceptScore W2610324650C2777686260 @default.
- W2610324650 hasConceptScore W2610324650C33923547 @default.
- W2610324650 hasConceptScore W2610324650C62073222 @default.
- W2610324650 hasConceptScore W2610324650C6489637 @default.
- W2610324650 hasConceptScore W2610324650C65880906 @default.
- W2610324650 hasConceptScore W2610324650C71924100 @default.
- W2610324650 hasConceptScore W2610324650C89421646 @default.
- W2610324650 hasLocation W26103246501 @default.
- W2610324650 hasOpenAccess W2610324650 @default.
- W2610324650 hasPrimaryLocation W26103246501 @default.
- W2610324650 hasRelatedWork W1490031414 @default.
- W2610324650 hasRelatedWork W1506616756 @default.
- W2610324650 hasRelatedWork W1511862481 @default.
- W2610324650 hasRelatedWork W1675539451 @default.
- W2610324650 hasRelatedWork W1847803379 @default.
- W2610324650 hasRelatedWork W1854821975 @default.
- W2610324650 hasRelatedWork W1982758692 @default.
- W2610324650 hasRelatedWork W2055279698 @default.
- W2610324650 hasRelatedWork W2056025285 @default.
- W2610324650 hasRelatedWork W2095441824 @default.
- W2610324650 hasRelatedWork W2140189867 @default.
- W2610324650 hasRelatedWork W2149122857 @default.
- W2610324650 hasRelatedWork W2151669156 @default.
- W2610324650 hasRelatedWork W2158542561 @default.
- W2610324650 hasRelatedWork W26812405 @default.
- W2610324650 hasRelatedWork W2770822309 @default.
- W2610324650 hasRelatedWork W2961141088 @default.
- W2610324650 hasRelatedWork W2998098850 @default.
- W2610324650 hasRelatedWork W3150713206 @default.
- W2610324650 hasRelatedWork W162254089 @default.
- W2610324650 isParatext "false" @default.
- W2610324650 isRetracted "false" @default.
- W2610324650 magId "2610324650" @default.
- W2610324650 workType "article" @default.