Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963698381> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2963698381 abstract "We present a sequent calculus for the modal Grzegorczyk logic (mathsf {Grz}) allowing non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs." @default.
- W2963698381 created "2019-07-30" @default.
- W2963698381 creator A5010357513 @default.
- W2963698381 creator A5066557497 @default.
- W2963698381 date "2019-01-01" @default.
- W2963698381 modified "2023-09-27" @default.
- W2963698381 title "Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs" @default.
- W2963698381 cites W1483339275 @default.
- W2963698381 cites W1495567550 @default.
- W2963698381 cites W2038491145 @default.
- W2963698381 cites W2084145796 @default.
- W2963698381 cites W2134287483 @default.
- W2963698381 cites W2605801877 @default.
- W2963698381 cites W3098273402 @default.
- W2963698381 doi "https://doi.org/10.1007/978-3-662-59533-6_34" @default.
- W2963698381 hasPublicationYear "2019" @default.
- W2963698381 type Work @default.
- W2963698381 sameAs 2963698381 @default.
- W2963698381 citedByCount "1" @default.
- W2963698381 countsByYear W29636983812021 @default.
- W2963698381 crossrefType "book-chapter" @default.
- W2963698381 hasAuthorship W2963698381A5010357513 @default.
- W2963698381 hasAuthorship W2963698381A5066557497 @default.
- W2963698381 hasBestOaLocation W29636983812 @default.
- W2963698381 hasConcept C108710211 @default.
- W2963698381 hasConcept C111404639 @default.
- W2963698381 hasConcept C114092440 @default.
- W2963698381 hasConcept C11413529 @default.
- W2963698381 hasConcept C118615104 @default.
- W2963698381 hasConcept C136119220 @default.
- W2963698381 hasConcept C185592680 @default.
- W2963698381 hasConcept C188027245 @default.
- W2963698381 hasConcept C199343813 @default.
- W2963698381 hasConcept C199360897 @default.
- W2963698381 hasConcept C202444582 @default.
- W2963698381 hasConcept C2524010 @default.
- W2963698381 hasConcept C27508121 @default.
- W2963698381 hasConcept C2777686260 @default.
- W2963698381 hasConcept C33923547 @default.
- W2963698381 hasConcept C41008148 @default.
- W2963698381 hasConcept C62073222 @default.
- W2963698381 hasConcept C65880906 @default.
- W2963698381 hasConcept C71139939 @default.
- W2963698381 hasConcept C71924100 @default.
- W2963698381 hasConcept C89421646 @default.
- W2963698381 hasConceptScore W2963698381C108710211 @default.
- W2963698381 hasConceptScore W2963698381C111404639 @default.
- W2963698381 hasConceptScore W2963698381C114092440 @default.
- W2963698381 hasConceptScore W2963698381C11413529 @default.
- W2963698381 hasConceptScore W2963698381C118615104 @default.
- W2963698381 hasConceptScore W2963698381C136119220 @default.
- W2963698381 hasConceptScore W2963698381C185592680 @default.
- W2963698381 hasConceptScore W2963698381C188027245 @default.
- W2963698381 hasConceptScore W2963698381C199343813 @default.
- W2963698381 hasConceptScore W2963698381C199360897 @default.
- W2963698381 hasConceptScore W2963698381C202444582 @default.
- W2963698381 hasConceptScore W2963698381C2524010 @default.
- W2963698381 hasConceptScore W2963698381C27508121 @default.
- W2963698381 hasConceptScore W2963698381C2777686260 @default.
- W2963698381 hasConceptScore W2963698381C33923547 @default.
- W2963698381 hasConceptScore W2963698381C41008148 @default.
- W2963698381 hasConceptScore W2963698381C62073222 @default.
- W2963698381 hasConceptScore W2963698381C65880906 @default.
- W2963698381 hasConceptScore W2963698381C71139939 @default.
- W2963698381 hasConceptScore W2963698381C71924100 @default.
- W2963698381 hasConceptScore W2963698381C89421646 @default.
- W2963698381 hasLocation W29636983811 @default.
- W2963698381 hasLocation W29636983812 @default.
- W2963698381 hasOpenAccess W2963698381 @default.
- W2963698381 hasPrimaryLocation W29636983811 @default.
- W2963698381 hasRelatedWork W1952137785 @default.
- W2963698381 hasRelatedWork W2095441824 @default.
- W2963698381 hasRelatedWork W2188917269 @default.
- W2963698381 hasRelatedWork W2263480042 @default.
- W2963698381 hasRelatedWork W2522872546 @default.
- W2963698381 hasRelatedWork W2618076222 @default.
- W2963698381 hasRelatedWork W2809846818 @default.
- W2963698381 hasRelatedWork W2911183586 @default.
- W2963698381 hasRelatedWork W2963698381 @default.
- W2963698381 hasRelatedWork W620828109 @default.
- W2963698381 isParatext "false" @default.
- W2963698381 isRetracted "false" @default.
- W2963698381 magId "2963698381" @default.
- W2963698381 workType "book-chapter" @default.