Matches in SemOpenAlex for { <https://semopenalex.org/work/W2052192715> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2052192715 endingPage "548" @default.
- W2052192715 startingPage "541" @default.
- W2052192715 abstract "The contraction-free sequent calculus G4 for intuitionistic logic is extended by rules following a general rule-scheme for nonlogical axioms. Admissibility of structural rules for these extensions is proved in a direct way by induction on derivations. This method permits the representation of various applied logics as complete, contraction- and cut-free sequent calculus systems with some restrictions on the nature of the derivations. As specific examples, intuitionistic theories of apartness and order are treated." @default.
- W2052192715 created "2016-06-24" @default.
- W2052192715 creator A5064769604 @default.
- W2052192715 date "2001-07-01" @default.
- W2052192715 modified "2023-09-26" @default.
- W2052192715 title "Admissibility of structural rules for extensions of contraction-free sequent calculi" @default.
- W2052192715 doi "https://doi.org/10.1093/jigpal/9.4.541" @default.
- W2052192715 hasPublicationYear "2001" @default.
- W2052192715 type Work @default.
- W2052192715 sameAs 2052192715 @default.
- W2052192715 citedByCount "4" @default.
- W2052192715 countsByYear W20521927152015 @default.
- W2052192715 crossrefType "journal-article" @default.
- W2052192715 hasAuthorship W2052192715A5064769604 @default.
- W2052192715 hasConcept C108710211 @default.
- W2052192715 hasConcept C111404639 @default.
- W2052192715 hasConcept C118615104 @default.
- W2052192715 hasConcept C136119220 @default.
- W2052192715 hasConcept C138885662 @default.
- W2052192715 hasConcept C163415756 @default.
- W2052192715 hasConcept C167729594 @default.
- W2052192715 hasConcept C199343813 @default.
- W2052192715 hasConcept C202444582 @default.
- W2052192715 hasConcept C2524010 @default.
- W2052192715 hasConcept C2777686260 @default.
- W2052192715 hasConcept C33923547 @default.
- W2052192715 hasConcept C41008148 @default.
- W2052192715 hasConcept C41895202 @default.
- W2052192715 hasConcept C62073222 @default.
- W2052192715 hasConcept C6489637 @default.
- W2052192715 hasConcept C65880906 @default.
- W2052192715 hasConcept C71924100 @default.
- W2052192715 hasConcept C89421646 @default.
- W2052192715 hasConceptScore W2052192715C108710211 @default.
- W2052192715 hasConceptScore W2052192715C111404639 @default.
- W2052192715 hasConceptScore W2052192715C118615104 @default.
- W2052192715 hasConceptScore W2052192715C136119220 @default.
- W2052192715 hasConceptScore W2052192715C138885662 @default.
- W2052192715 hasConceptScore W2052192715C163415756 @default.
- W2052192715 hasConceptScore W2052192715C167729594 @default.
- W2052192715 hasConceptScore W2052192715C199343813 @default.
- W2052192715 hasConceptScore W2052192715C202444582 @default.
- W2052192715 hasConceptScore W2052192715C2524010 @default.
- W2052192715 hasConceptScore W2052192715C2777686260 @default.
- W2052192715 hasConceptScore W2052192715C33923547 @default.
- W2052192715 hasConceptScore W2052192715C41008148 @default.
- W2052192715 hasConceptScore W2052192715C41895202 @default.
- W2052192715 hasConceptScore W2052192715C62073222 @default.
- W2052192715 hasConceptScore W2052192715C6489637 @default.
- W2052192715 hasConceptScore W2052192715C65880906 @default.
- W2052192715 hasConceptScore W2052192715C71924100 @default.
- W2052192715 hasConceptScore W2052192715C89421646 @default.
- W2052192715 hasIssue "4" @default.
- W2052192715 hasLocation W20521927151 @default.
- W2052192715 hasOpenAccess W2052192715 @default.
- W2052192715 hasPrimaryLocation W20521927151 @default.
- W2052192715 hasRelatedWork W1568540128 @default.
- W2052192715 hasRelatedWork W2008711558 @default.
- W2052192715 hasRelatedWork W2039754492 @default.
- W2052192715 hasRelatedWork W2071338206 @default.
- W2052192715 hasRelatedWork W2949403236 @default.
- W2052192715 hasRelatedWork W2990573122 @default.
- W2052192715 hasRelatedWork W3017269122 @default.
- W2052192715 hasRelatedWork W3037905658 @default.
- W2052192715 hasRelatedWork W3190301198 @default.
- W2052192715 hasRelatedWork W4286750951 @default.
- W2052192715 hasVolume "9" @default.
- W2052192715 isParatext "false" @default.
- W2052192715 isRetracted "false" @default.
- W2052192715 magId "2052192715" @default.
- W2052192715 workType "article" @default.