Matches in SemOpenAlex for { <https://semopenalex.org/work/W3024972271> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3024972271 abstract "We generalize the validity criterion for the infinitary proof system of the multiplicative additive linear logic with fixed points. Our criterion is designed to take into account axioms and cuts. We show that it is sound and enjoys the cut elimination property. We finally study its decidability properties, and prove that it is undecidable in general but becomes decidable under some restrictions." @default.
- W3024972271 created "2020-05-21" @default.
- W3024972271 creator A5077133539 @default.
- W3024972271 creator A5078754001 @default.
- W3024972271 creator A5084860539 @default.
- W3024972271 creator A5085084958 @default.
- W3024972271 date "2020-05-17" @default.
- W3024972271 modified "2023-09-27" @default.
- W3024972271 title "Bouncing threads for infinitary and circular proofs." @default.
- W3024972271 cites W1523149969 @default.
- W3024972271 cites W1556705528 @default.
- W3024972271 cites W2010337608 @default.
- W3024972271 cites W2500784495 @default.
- W3024972271 cites W2911816136 @default.
- W3024972271 cites W2911865844 @default.
- W3024972271 hasPublicationYear "2020" @default.
- W3024972271 type Work @default.
- W3024972271 sameAs 3024972271 @default.
- W3024972271 citedByCount "1" @default.
- W3024972271 countsByYear W30249722712020 @default.
- W3024972271 crossrefType "posted-content" @default.
- W3024972271 hasAuthorship W3024972271A5077133539 @default.
- W3024972271 hasAuthorship W3024972271A5078754001 @default.
- W3024972271 hasAuthorship W3024972271A5084860539 @default.
- W3024972271 hasAuthorship W3024972271A5085084958 @default.
- W3024972271 hasConcept C108710211 @default.
- W3024972271 hasConcept C111472728 @default.
- W3024972271 hasConcept C118615104 @default.
- W3024972271 hasConcept C134306372 @default.
- W3024972271 hasConcept C138885662 @default.
- W3024972271 hasConcept C153269930 @default.
- W3024972271 hasConcept C167729594 @default.
- W3024972271 hasConcept C189950617 @default.
- W3024972271 hasConcept C192034797 @default.
- W3024972271 hasConcept C199343813 @default.
- W3024972271 hasConcept C199360897 @default.
- W3024972271 hasConcept C206019424 @default.
- W3024972271 hasConcept C2524010 @default.
- W3024972271 hasConcept C2777686260 @default.
- W3024972271 hasConcept C28077239 @default.
- W3024972271 hasConcept C33923547 @default.
- W3024972271 hasConcept C41008148 @default.
- W3024972271 hasConcept C42747912 @default.
- W3024972271 hasConcept C71924100 @default.
- W3024972271 hasConceptScore W3024972271C108710211 @default.
- W3024972271 hasConceptScore W3024972271C111472728 @default.
- W3024972271 hasConceptScore W3024972271C118615104 @default.
- W3024972271 hasConceptScore W3024972271C134306372 @default.
- W3024972271 hasConceptScore W3024972271C138885662 @default.
- W3024972271 hasConceptScore W3024972271C153269930 @default.
- W3024972271 hasConceptScore W3024972271C167729594 @default.
- W3024972271 hasConceptScore W3024972271C189950617 @default.
- W3024972271 hasConceptScore W3024972271C192034797 @default.
- W3024972271 hasConceptScore W3024972271C199343813 @default.
- W3024972271 hasConceptScore W3024972271C199360897 @default.
- W3024972271 hasConceptScore W3024972271C206019424 @default.
- W3024972271 hasConceptScore W3024972271C2524010 @default.
- W3024972271 hasConceptScore W3024972271C2777686260 @default.
- W3024972271 hasConceptScore W3024972271C28077239 @default.
- W3024972271 hasConceptScore W3024972271C33923547 @default.
- W3024972271 hasConceptScore W3024972271C41008148 @default.
- W3024972271 hasConceptScore W3024972271C42747912 @default.
- W3024972271 hasConceptScore W3024972271C71924100 @default.
- W3024972271 hasLocation W30249722711 @default.
- W3024972271 hasOpenAccess W3024972271 @default.
- W3024972271 hasPrimaryLocation W30249722711 @default.
- W3024972271 hasRelatedWork W108287753 @default.
- W3024972271 hasRelatedWork W1446225236 @default.
- W3024972271 hasRelatedWork W1598835176 @default.
- W3024972271 hasRelatedWork W1889888010 @default.
- W3024972271 hasRelatedWork W1938840723 @default.
- W3024972271 hasRelatedWork W2000108579 @default.
- W3024972271 hasRelatedWork W2105564020 @default.
- W3024972271 hasRelatedWork W2124396273 @default.
- W3024972271 hasRelatedWork W2158086914 @default.
- W3024972271 hasRelatedWork W2160215341 @default.
- W3024972271 hasRelatedWork W2286688895 @default.
- W3024972271 hasRelatedWork W2333608964 @default.
- W3024972271 hasRelatedWork W2461509449 @default.
- W3024972271 hasRelatedWork W2471400301 @default.
- W3024972271 hasRelatedWork W2726021294 @default.
- W3024972271 hasRelatedWork W2786933490 @default.
- W3024972271 hasRelatedWork W2953194033 @default.
- W3024972271 hasRelatedWork W3110522991 @default.
- W3024972271 hasRelatedWork W3206179873 @default.
- W3024972271 hasRelatedWork W836247212 @default.
- W3024972271 isParatext "false" @default.
- W3024972271 isRetracted "false" @default.
- W3024972271 magId "3024972271" @default.
- W3024972271 workType "article" @default.