Matches in SemOpenAlex for { <https://semopenalex.org/work/W1591857789> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1591857789 endingPage "245" @default.
- W1591857789 startingPage "230" @default.
- W1591857789 abstract "The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissible rules of Intuitionistic Logic and a class of modal logics were defined in a proof-theoretic framework where the basic objects of the systems are sequent rules. Here, the framework is extended to cover derivability of the admissible rules of intermediate logics and a wider class of modal logics, in this case, by taking hypersequent rules as the basic objects." @default.
- W1591857789 created "2016-06-24" @default.
- W1591857789 creator A5038446877 @default.
- W1591857789 creator A5087051979 @default.
- W1591857789 date "2008-01-01" @default.
- W1591857789 modified "2023-10-14" @default.
- W1591857789 title "Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics" @default.
- W1591857789 cites W1982890778 @default.
- W1591857789 cites W1990470938 @default.
- W1591857789 cites W2023712626 @default.
- W1591857789 cites W2062335537 @default.
- W1591857789 cites W2077847391 @default.
- W1591857789 cites W2108756969 @default.
- W1591857789 cites W2126852230 @default.
- W1591857789 cites W2171818600 @default.
- W1591857789 cites W607239742 @default.
- W1591857789 doi "https://doi.org/10.1007/978-3-540-92687-0_16" @default.
- W1591857789 hasPublicationYear "2008" @default.
- W1591857789 type Work @default.
- W1591857789 sameAs 1591857789 @default.
- W1591857789 citedByCount "10" @default.
- W1591857789 countsByYear W15918577892012 @default.
- W1591857789 countsByYear W15918577892013 @default.
- W1591857789 countsByYear W15918577892015 @default.
- W1591857789 countsByYear W15918577892016 @default.
- W1591857789 countsByYear W15918577892018 @default.
- W1591857789 crossrefType "book-chapter" @default.
- W1591857789 hasAuthorship W1591857789A5038446877 @default.
- W1591857789 hasAuthorship W1591857789A5087051979 @default.
- W1591857789 hasBestOaLocation W15918577892 @default.
- W1591857789 hasConcept C102993220 @default.
- W1591857789 hasConcept C11191006 @default.
- W1591857789 hasConcept C114092440 @default.
- W1591857789 hasConcept C127413603 @default.
- W1591857789 hasConcept C136119220 @default.
- W1591857789 hasConcept C154945302 @default.
- W1591857789 hasConcept C185592680 @default.
- W1591857789 hasConcept C188027245 @default.
- W1591857789 hasConcept C199360897 @default.
- W1591857789 hasConcept C202444582 @default.
- W1591857789 hasConcept C203659156 @default.
- W1591857789 hasConcept C27508121 @default.
- W1591857789 hasConcept C2777212361 @default.
- W1591857789 hasConcept C2780428219 @default.
- W1591857789 hasConcept C33923547 @default.
- W1591857789 hasConcept C41008148 @default.
- W1591857789 hasConcept C42011625 @default.
- W1591857789 hasConcept C5263885 @default.
- W1591857789 hasConcept C58166 @default.
- W1591857789 hasConcept C71139939 @default.
- W1591857789 hasConcept C78519656 @default.
- W1591857789 hasConcept C80444323 @default.
- W1591857789 hasConcept C86602344 @default.
- W1591857789 hasConcept C89421646 @default.
- W1591857789 hasConceptScore W1591857789C102993220 @default.
- W1591857789 hasConceptScore W1591857789C11191006 @default.
- W1591857789 hasConceptScore W1591857789C114092440 @default.
- W1591857789 hasConceptScore W1591857789C127413603 @default.
- W1591857789 hasConceptScore W1591857789C136119220 @default.
- W1591857789 hasConceptScore W1591857789C154945302 @default.
- W1591857789 hasConceptScore W1591857789C185592680 @default.
- W1591857789 hasConceptScore W1591857789C188027245 @default.
- W1591857789 hasConceptScore W1591857789C199360897 @default.
- W1591857789 hasConceptScore W1591857789C202444582 @default.
- W1591857789 hasConceptScore W1591857789C203659156 @default.
- W1591857789 hasConceptScore W1591857789C27508121 @default.
- W1591857789 hasConceptScore W1591857789C2777212361 @default.
- W1591857789 hasConceptScore W1591857789C2780428219 @default.
- W1591857789 hasConceptScore W1591857789C33923547 @default.
- W1591857789 hasConceptScore W1591857789C41008148 @default.
- W1591857789 hasConceptScore W1591857789C42011625 @default.
- W1591857789 hasConceptScore W1591857789C5263885 @default.
- W1591857789 hasConceptScore W1591857789C58166 @default.
- W1591857789 hasConceptScore W1591857789C71139939 @default.
- W1591857789 hasConceptScore W1591857789C78519656 @default.
- W1591857789 hasConceptScore W1591857789C80444323 @default.
- W1591857789 hasConceptScore W1591857789C86602344 @default.
- W1591857789 hasConceptScore W1591857789C89421646 @default.
- W1591857789 hasLocation W15918577891 @default.
- W1591857789 hasLocation W15918577892 @default.
- W1591857789 hasOpenAccess W1591857789 @default.
- W1591857789 hasPrimaryLocation W15918577891 @default.
- W1591857789 hasRelatedWork W1978559879 @default.
- W1591857789 hasRelatedWork W2062728934 @default.
- W1591857789 hasRelatedWork W2077061463 @default.
- W1591857789 hasRelatedWork W2146482562 @default.
- W1591857789 hasRelatedWork W2147579323 @default.
- W1591857789 hasRelatedWork W4306891373 @default.
- W1591857789 hasRelatedWork W438898348 @default.
- W1591857789 hasRelatedWork W90863971 @default.
- W1591857789 hasRelatedWork W982481174 @default.
- W1591857789 hasRelatedWork W2519294547 @default.
- W1591857789 isParatext "false" @default.
- W1591857789 isRetracted "false" @default.
- W1591857789 magId "1591857789" @default.
- W1591857789 workType "book-chapter" @default.