Matches in SemOpenAlex for { <https://semopenalex.org/work/W996670586> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W996670586 endingPage "95" @default.
- W996670586 startingPage "81" @default.
- W996670586 abstract "We present a systematic procedure for constructing cut-free display calculi for axiomatic extensions of a logic via structural rule extensions. The sufficient conditions for the procedure are given in terms of purely syntactic abstract properties of the display calculus and thus the method applies to large classes of calculi and logics. As a case study, we present cut-free calculi for extensions of well-known logics including Bi-intuitionistic and tense logic." @default.
- W996670586 created "2016-06-24" @default.
- W996670586 creator A5001826398 @default.
- W996670586 creator A5086733054 @default.
- W996670586 date "2013-01-01" @default.
- W996670586 modified "2023-10-14" @default.
- W996670586 title "Structural Extensions of Display Calculi: A General Recipe" @default.
- W996670586 cites W1517890215 @default.
- W996670586 cites W1570374618 @default.
- W996670586 cites W1869581900 @default.
- W996670586 cites W1990470938 @default.
- W996670586 cites W1995638481 @default.
- W996670586 cites W2008132476 @default.
- W996670586 cites W2010987503 @default.
- W996670586 cites W2032230034 @default.
- W996670586 cites W2075055711 @default.
- W996670586 cites W2092847864 @default.
- W996670586 cites W2102625227 @default.
- W996670586 cites W2132457243 @default.
- W996670586 cites W2160771441 @default.
- W996670586 cites W2244976569 @default.
- W996670586 cites W2476903666 @default.
- W996670586 cites W4211144022 @default.
- W996670586 cites W4248156396 @default.
- W996670586 cites W586261321 @default.
- W996670586 doi "https://doi.org/10.1007/978-3-642-39992-3_10" @default.
- W996670586 hasPublicationYear "2013" @default.
- W996670586 type Work @default.
- W996670586 sameAs 996670586 @default.
- W996670586 citedByCount "8" @default.
- W996670586 countsByYear W9966705862013 @default.
- W996670586 countsByYear W9966705862014 @default.
- W996670586 countsByYear W9966705862015 @default.
- W996670586 countsByYear W9966705862016 @default.
- W996670586 countsByYear W9966705862023 @default.
- W996670586 crossrefType "book-chapter" @default.
- W996670586 hasAuthorship W996670586A5001826398 @default.
- W996670586 hasAuthorship W996670586A5086733054 @default.
- W996670586 hasBestOaLocation W9966705862 @default.
- W996670586 hasConcept C121684516 @default.
- W996670586 hasConcept C185592680 @default.
- W996670586 hasConcept C2778671685 @default.
- W996670586 hasConcept C31903555 @default.
- W996670586 hasConcept C33923547 @default.
- W996670586 hasConcept C41008148 @default.
- W996670586 hasConcept C94375191 @default.
- W996670586 hasConceptScore W996670586C121684516 @default.
- W996670586 hasConceptScore W996670586C185592680 @default.
- W996670586 hasConceptScore W996670586C2778671685 @default.
- W996670586 hasConceptScore W996670586C31903555 @default.
- W996670586 hasConceptScore W996670586C33923547 @default.
- W996670586 hasConceptScore W996670586C41008148 @default.
- W996670586 hasConceptScore W996670586C94375191 @default.
- W996670586 hasLocation W9966705861 @default.
- W996670586 hasLocation W9966705862 @default.
- W996670586 hasOpenAccess W996670586 @default.
- W996670586 hasPrimaryLocation W9966705861 @default.
- W996670586 hasRelatedWork W2135173043 @default.
- W996670586 hasRelatedWork W2319007069 @default.
- W996670586 hasRelatedWork W2324899973 @default.
- W996670586 hasRelatedWork W2335699373 @default.
- W996670586 hasRelatedWork W241866648 @default.
- W996670586 hasRelatedWork W2600284381 @default.
- W996670586 hasRelatedWork W2963339245 @default.
- W996670586 hasRelatedWork W4214924096 @default.
- W996670586 hasRelatedWork W4232640560 @default.
- W996670586 hasRelatedWork W4253321761 @default.
- W996670586 isParatext "false" @default.
- W996670586 isRetracted "false" @default.
- W996670586 magId "996670586" @default.
- W996670586 workType "book-chapter" @default.