Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301478076> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W4301478076 abstract "We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs. As an application, we establish the Lyndon interpolation property for the logic Grz proof-theoretically." @default.
- W4301478076 created "2022-10-05" @default.
- W4301478076 creator A5010357513 @default.
- W4301478076 creator A5066557497 @default.
- W4301478076 date "2018-04-03" @default.
- W4301478076 modified "2023-10-16" @default.
- W4301478076 title "Non-Well-Founded Proofs for the Grzegorczyk Modal Logic" @default.
- W4301478076 doi "https://doi.org/10.48550/arxiv.1804.00955" @default.
- W4301478076 hasPublicationYear "2018" @default.
- W4301478076 type Work @default.
- W4301478076 citedByCount "0" @default.
- W4301478076 crossrefType "posted-content" @default.
- W4301478076 hasAuthorship W4301478076A5010357513 @default.
- W4301478076 hasAuthorship W4301478076A5066557497 @default.
- W4301478076 hasBestOaLocation W43014780761 @default.
- W4301478076 hasConcept C108710211 @default.
- W4301478076 hasConcept C111404639 @default.
- W4301478076 hasConcept C111472728 @default.
- W4301478076 hasConcept C114092440 @default.
- W4301478076 hasConcept C118615104 @default.
- W4301478076 hasConcept C119599485 @default.
- W4301478076 hasConcept C127413603 @default.
- W4301478076 hasConcept C136119220 @default.
- W4301478076 hasConcept C138885662 @default.
- W4301478076 hasConcept C165801399 @default.
- W4301478076 hasConcept C172385210 @default.
- W4301478076 hasConcept C178421362 @default.
- W4301478076 hasConcept C185592680 @default.
- W4301478076 hasConcept C188027245 @default.
- W4301478076 hasConcept C189950617 @default.
- W4301478076 hasConcept C199343813 @default.
- W4301478076 hasConcept C202444582 @default.
- W4301478076 hasConcept C2524010 @default.
- W4301478076 hasConcept C27508121 @default.
- W4301478076 hasConcept C2777686260 @default.
- W4301478076 hasConcept C2777796570 @default.
- W4301478076 hasConcept C28077239 @default.
- W4301478076 hasConcept C33923547 @default.
- W4301478076 hasConcept C41008148 @default.
- W4301478076 hasConcept C62073222 @default.
- W4301478076 hasConcept C6489637 @default.
- W4301478076 hasConcept C65880906 @default.
- W4301478076 hasConcept C71139939 @default.
- W4301478076 hasConcept C71924100 @default.
- W4301478076 hasConcept C89421646 @default.
- W4301478076 hasConceptScore W4301478076C108710211 @default.
- W4301478076 hasConceptScore W4301478076C111404639 @default.
- W4301478076 hasConceptScore W4301478076C111472728 @default.
- W4301478076 hasConceptScore W4301478076C114092440 @default.
- W4301478076 hasConceptScore W4301478076C118615104 @default.
- W4301478076 hasConceptScore W4301478076C119599485 @default.
- W4301478076 hasConceptScore W4301478076C127413603 @default.
- W4301478076 hasConceptScore W4301478076C136119220 @default.
- W4301478076 hasConceptScore W4301478076C138885662 @default.
- W4301478076 hasConceptScore W4301478076C165801399 @default.
- W4301478076 hasConceptScore W4301478076C172385210 @default.
- W4301478076 hasConceptScore W4301478076C178421362 @default.
- W4301478076 hasConceptScore W4301478076C185592680 @default.
- W4301478076 hasConceptScore W4301478076C188027245 @default.
- W4301478076 hasConceptScore W4301478076C189950617 @default.
- W4301478076 hasConceptScore W4301478076C199343813 @default.
- W4301478076 hasConceptScore W4301478076C202444582 @default.
- W4301478076 hasConceptScore W4301478076C2524010 @default.
- W4301478076 hasConceptScore W4301478076C27508121 @default.
- W4301478076 hasConceptScore W4301478076C2777686260 @default.
- W4301478076 hasConceptScore W4301478076C2777796570 @default.
- W4301478076 hasConceptScore W4301478076C28077239 @default.
- W4301478076 hasConceptScore W4301478076C33923547 @default.
- W4301478076 hasConceptScore W4301478076C41008148 @default.
- W4301478076 hasConceptScore W4301478076C62073222 @default.
- W4301478076 hasConceptScore W4301478076C6489637 @default.
- W4301478076 hasConceptScore W4301478076C65880906 @default.
- W4301478076 hasConceptScore W4301478076C71139939 @default.
- W4301478076 hasConceptScore W4301478076C71924100 @default.
- W4301478076 hasConceptScore W4301478076C89421646 @default.
- W4301478076 hasLocation W43014780761 @default.
- W4301478076 hasLocation W43014780762 @default.
- W4301478076 hasOpenAccess W4301478076 @default.
- W4301478076 hasPrimaryLocation W43014780761 @default.
- W4301478076 hasRelatedWork W1479042755 @default.
- W4301478076 hasRelatedWork W1996640088 @default.
- W4301478076 hasRelatedWork W2056818739 @default.
- W4301478076 hasRelatedWork W2155156044 @default.
- W4301478076 hasRelatedWork W2793983771 @default.
- W4301478076 hasRelatedWork W2891688494 @default.
- W4301478076 hasRelatedWork W3090765541 @default.
- W4301478076 hasRelatedWork W315460383 @default.
- W4301478076 hasRelatedWork W4295728898 @default.
- W4301478076 hasRelatedWork W50014540 @default.
- W4301478076 isParatext "false" @default.
- W4301478076 isRetracted "false" @default.
- W4301478076 workType "article" @default.