FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2889405014> ?p ?o ?g. }

• W2889405014 abstract "Abstract Proof-theoretic method has been successfully used almost from the inception of interpolation properties to provide efficient constructive proofs thereof. Until recently, the method was limited to sequent calculi (and their notational variants), despite the richness of generalizations of sequent structures developed in structural proof theory in the meantime. In this paper, we provide a systematic and uniform account of the recent extension of this proof-theoretic method to hypersequents, nested sequents, and labelled sequents for normal modal logic. The method is presented in terms and notation easily adaptable to other similar formalisms, and interpolant transformations are stated for typical rule types rather than for individual rules." @default.
• W2889405014 created "2018-09-07" @default.
• W2889405014 creator A5082531855 @default.
• W2889405014 date "2018-12-01" @default.
• W2889405014 modified "2023-10-17" @default.
• W2889405014 title "Multicomponent proof-theoretic method for proving interpolation properties" @default.
• W2889405014 cites W1549890956 @default.
• W2889405014 cites W1765007146 @default.
• W2889405014 cites W1949943063 @default.
• W2889405014 cites W1966647830 @default.
• W2889405014 cites W1972122408 @default.
• W2889405014 cites W1990470938 @default.
• W2889405014 cites W1995718667 @default.
• W2889405014 cites W1996723544 @default.
• W2889405014 cites W2017057265 @default.
• W2889405014 cites W2018205748 @default.
• W2889405014 cites W2028087487 @default.
• W2889405014 cites W2031525781 @default.
• W2889405014 cites W2034576617 @default.
• W2889405014 cites W2037330115 @default.
• W2889405014 cites W2041248160 @default.
• W2889405014 cites W2059414419 @default.
• W2889405014 cites W2062485819 @default.
• W2889405014 cites W2063770561 @default.
• W2889405014 cites W2085956853 @default.
• W2889405014 cites W2096617793 @default.
• W2889405014 cites W2098244894 @default.
• W2889405014 cites W2114633883 @default.
• W2889405014 cites W2117223386 @default.
• W2889405014 cites W2146345041 @default.
• W2889405014 cites W2155392459 @default.
• W2889405014 cites W2171052763 @default.
• W2889405014 cites W2216255786 @default.
• W2889405014 cites W2318022924 @default.
• W2889405014 cites W2535990237 @default.
• W2889405014 cites W3098273402 @default.
• W2889405014 cites W3104265051 @default.
• W2889405014 doi "https://doi.org/10.1016/j.apal.2018.08.007" @default.
• W2889405014 hasPublicationYear "2018" @default.
• W2889405014 type Work @default.
• W2889405014 sameAs 2889405014 @default.
• W2889405014 citedByCount "12" @default.
• W2889405014 countsByYear W28894050142018 @default.
• W2889405014 countsByYear W28894050142019 @default.
• W2889405014 countsByYear W28894050142020 @default.
• W2889405014 countsByYear W28894050142021 @default.
• W2889405014 countsByYear W28894050142022 @default.
• W2889405014 countsByYear W28894050142023 @default.
• W2889405014 crossrefType "journal-article" @default.
• W2889405014 hasAuthorship W2889405014A5082531855 @default.
• W2889405014 hasBestOaLocation W28894050141 @default.
• W2889405014 hasConcept C108710211 @default.
• W2889405014 hasConcept C111404639 @default.
• W2889405014 hasConcept C11413529 @default.
• W2889405014 hasConcept C118615104 @default.
• W2889405014 hasConcept C121684516 @default.
• W2889405014 hasConcept C136119220 @default.
• W2889405014 hasConcept C137800194 @default.
• W2889405014 hasConcept C171018156 @default.
• W2889405014 hasConcept C185592680 @default.
• W2889405014 hasConcept C188027245 @default.
• W2889405014 hasConcept C195653647 @default.
• W2889405014 hasConcept C199343813 @default.
• W2889405014 hasConcept C199360897 @default.
• W2889405014 hasConcept C202444582 @default.
• W2889405014 hasConcept C202854965 @default.
• W2889405014 hasConcept C2318724 @default.
• W2889405014 hasConcept C2524010 @default.
• W2889405014 hasConcept C2777686260 @default.
• W2889405014 hasConcept C2778701210 @default.
• W2889405014 hasConcept C33923547 @default.
• W2889405014 hasConcept C41008148 @default.
• W2889405014 hasConcept C45357846 @default.
• W2889405014 hasConcept C502989409 @default.
• W2889405014 hasConcept C65880906 @default.
• W2889405014 hasConcept C71139939 @default.
• W2889405014 hasConcept C71924100 @default.
• W2889405014 hasConcept C89421646 @default.
• W2889405014 hasConcept C94375191 @default.
• W2889405014 hasConcept C98045186 @default.
• W2889405014 hasConceptScore W2889405014C108710211 @default.
• W2889405014 hasConceptScore W2889405014C111404639 @default.
• W2889405014 hasConceptScore W2889405014C11413529 @default.
• W2889405014 hasConceptScore W2889405014C118615104 @default.
• W2889405014 hasConceptScore W2889405014C121684516 @default.
• W2889405014 hasConceptScore W2889405014C136119220 @default.
• W2889405014 hasConceptScore W2889405014C137800194 @default.
• W2889405014 hasConceptScore W2889405014C171018156 @default.
• W2889405014 hasConceptScore W2889405014C185592680 @default.
• W2889405014 hasConceptScore W2889405014C188027245 @default.
• W2889405014 hasConceptScore W2889405014C195653647 @default.
• W2889405014 hasConceptScore W2889405014C199343813 @default.
• W2889405014 hasConceptScore W2889405014C199360897 @default.
• W2889405014 hasConceptScore W2889405014C202444582 @default.
• W2889405014 hasConceptScore W2889405014C202854965 @default.
• W2889405014 hasConceptScore W2889405014C2318724 @default.
• W2889405014 hasConceptScore W2889405014C2524010 @default.
• W2889405014 hasConceptScore W2889405014C2777686260 @default.
• W2889405014 hasConceptScore W2889405014C2778701210 @default.
• W2889405014 hasConceptScore W2889405014C33923547 @default.

• next