Matches in SemOpenAlex for { <https://semopenalex.org/work/W2605801877> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2605801877 endingPage "335" @default.
- W2605801877 startingPage "321" @default.
- W2605801877 abstract "We present a sequent calculus for the modal Grzegorczyk logic 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.
- W2605801877 created "2017-04-28" @default.
- W2605801877 creator A5010357513 @default.
- W2605801877 creator A5066557497 @default.
- W2605801877 date "2017-01-01" @default.
- W2605801877 modified "2023-09-26" @default.
- W2605801877 title "Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs" @default.
- W2605801877 cites W2002660893 @default.
- W2605801877 cites W2052270606 @default.
- W2605801877 cites W2094466202 @default.
- W2605801877 cites W2132979411 @default.
- W2605801877 cites W3098273402 @default.
- W2605801877 doi "https://doi.org/10.1007/978-3-662-55386-2_23" @default.
- W2605801877 hasPublicationYear "2017" @default.
- W2605801877 type Work @default.
- W2605801877 sameAs 2605801877 @default.
- W2605801877 citedByCount "3" @default.
- W2605801877 countsByYear W26058018772017 @default.
- W2605801877 countsByYear W26058018772019 @default.
- W2605801877 countsByYear W26058018772020 @default.
- W2605801877 crossrefType "book-chapter" @default.
- W2605801877 hasAuthorship W2605801877A5010357513 @default.
- W2605801877 hasAuthorship W2605801877A5066557497 @default.
- W2605801877 hasBestOaLocation W26058018772 @default.
- W2605801877 hasConcept C102993220 @default.
- W2605801877 hasConcept C108710211 @default.
- W2605801877 hasConcept C111404639 @default.
- W2605801877 hasConcept C114092440 @default.
- W2605801877 hasConcept C11413529 @default.
- W2605801877 hasConcept C136119220 @default.
- W2605801877 hasConcept C185592680 @default.
- W2605801877 hasConcept C188027245 @default.
- W2605801877 hasConcept C199343813 @default.
- W2605801877 hasConcept C199360897 @default.
- W2605801877 hasConcept C202444582 @default.
- W2605801877 hasConcept C203659156 @default.
- W2605801877 hasConcept C2524010 @default.
- W2605801877 hasConcept C27508121 @default.
- W2605801877 hasConcept C2777686260 @default.
- W2605801877 hasConcept C33923547 @default.
- W2605801877 hasConcept C41008148 @default.
- W2605801877 hasConcept C62073222 @default.
- W2605801877 hasConcept C6489637 @default.
- W2605801877 hasConcept C65880906 @default.
- W2605801877 hasConcept C71139939 @default.
- W2605801877 hasConcept C71924100 @default.
- W2605801877 hasConcept C89421646 @default.
- W2605801877 hasConceptScore W2605801877C102993220 @default.
- W2605801877 hasConceptScore W2605801877C108710211 @default.
- W2605801877 hasConceptScore W2605801877C111404639 @default.
- W2605801877 hasConceptScore W2605801877C114092440 @default.
- W2605801877 hasConceptScore W2605801877C11413529 @default.
- W2605801877 hasConceptScore W2605801877C136119220 @default.
- W2605801877 hasConceptScore W2605801877C185592680 @default.
- W2605801877 hasConceptScore W2605801877C188027245 @default.
- W2605801877 hasConceptScore W2605801877C199343813 @default.
- W2605801877 hasConceptScore W2605801877C199360897 @default.
- W2605801877 hasConceptScore W2605801877C202444582 @default.
- W2605801877 hasConceptScore W2605801877C203659156 @default.
- W2605801877 hasConceptScore W2605801877C2524010 @default.
- W2605801877 hasConceptScore W2605801877C27508121 @default.
- W2605801877 hasConceptScore W2605801877C2777686260 @default.
- W2605801877 hasConceptScore W2605801877C33923547 @default.
- W2605801877 hasConceptScore W2605801877C41008148 @default.
- W2605801877 hasConceptScore W2605801877C62073222 @default.
- W2605801877 hasConceptScore W2605801877C6489637 @default.
- W2605801877 hasConceptScore W2605801877C65880906 @default.
- W2605801877 hasConceptScore W2605801877C71139939 @default.
- W2605801877 hasConceptScore W2605801877C71924100 @default.
- W2605801877 hasConceptScore W2605801877C89421646 @default.
- W2605801877 hasLocation W26058018771 @default.
- W2605801877 hasLocation W26058018772 @default.
- W2605801877 hasOpenAccess W2605801877 @default.
- W2605801877 hasPrimaryLocation W26058018771 @default.
- W2605801877 hasRelatedWork W1484778177 @default.
- W2605801877 hasRelatedWork W1506616756 @default.
- W2605801877 hasRelatedWork W155894625 @default.
- W2605801877 hasRelatedWork W1675539451 @default.
- W2605801877 hasRelatedWork W1847803379 @default.
- W2605801877 hasRelatedWork W2040173145 @default.
- W2605801877 hasRelatedWork W2055279698 @default.
- W2605801877 hasRelatedWork W2095349379 @default.
- W2605801877 hasRelatedWork W2095441824 @default.
- W2605801877 hasRelatedWork W2132979411 @default.
- W2605801877 hasRelatedWork W2149122857 @default.
- W2605801877 hasRelatedWork W2151669156 @default.
- W2605801877 hasRelatedWork W2158542561 @default.
- W2605801877 hasRelatedWork W2278496466 @default.
- W2605801877 hasRelatedWork W2282573237 @default.
- W2605801877 hasRelatedWork W2345246322 @default.
- W2605801877 hasRelatedWork W2610324650 @default.
- W2605801877 hasRelatedWork W294087978 @default.
- W2605801877 hasRelatedWork W2961141088 @default.
- W2605801877 hasRelatedWork W2963698381 @default.
- W2605801877 isParatext "false" @default.
- W2605801877 isRetracted "false" @default.
- W2605801877 magId "2605801877" @default.
- W2605801877 workType "book-chapter" @default.