Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034754094> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2034754094 endingPage "316" @default.
- W2034754094 startingPage "305" @default.
- W2034754094 abstract "The main purpose of this paper is to give a cut-free Gentzen-type sequential system for K4.3G of finite chains. The cut-elimination theorem is proved both modeltheoretically and proof-theoretically." @default.
- W2034754094 created "2016-06-24" @default.
- W2034754094 creator A5057779938 @default.
- W2034754094 date "1983-01-01" @default.
- W2034754094 modified "2023-10-16" @default.
- W2034754094 title "A cut-free sequential system for the propositional modal logic of finite chains" @default.
- W2034754094 cites W1580776589 @default.
- W2034754094 cites W2035120169 @default.
- W2034754094 cites W2036161385 @default.
- W2034754094 cites W2112784644 @default.
- W2034754094 cites W3039529476 @default.
- W2034754094 doi "https://doi.org/10.2977/prims/1195182989" @default.
- W2034754094 hasPublicationYear "1983" @default.
- W2034754094 type Work @default.
- W2034754094 sameAs 2034754094 @default.
- W2034754094 citedByCount "1" @default.
- W2034754094 crossrefType "journal-article" @default.
- W2034754094 hasAuthorship W2034754094A5057779938 @default.
- W2034754094 hasBestOaLocation W20347540941 @default.
- W2034754094 hasConcept C102993220 @default.
- W2034754094 hasConcept C114092440 @default.
- W2034754094 hasConcept C14523651 @default.
- W2034754094 hasConcept C159985019 @default.
- W2034754094 hasConcept C173125200 @default.
- W2034754094 hasConcept C192562407 @default.
- W2034754094 hasConcept C27508121 @default.
- W2034754094 hasConcept C33203268 @default.
- W2034754094 hasConcept C33923547 @default.
- W2034754094 hasConcept C41008148 @default.
- W2034754094 hasConcept C71139939 @default.
- W2034754094 hasConcept C80444323 @default.
- W2034754094 hasConceptScore W2034754094C102993220 @default.
- W2034754094 hasConceptScore W2034754094C114092440 @default.
- W2034754094 hasConceptScore W2034754094C14523651 @default.
- W2034754094 hasConceptScore W2034754094C159985019 @default.
- W2034754094 hasConceptScore W2034754094C173125200 @default.
- W2034754094 hasConceptScore W2034754094C192562407 @default.
- W2034754094 hasConceptScore W2034754094C27508121 @default.
- W2034754094 hasConceptScore W2034754094C33203268 @default.
- W2034754094 hasConceptScore W2034754094C33923547 @default.
- W2034754094 hasConceptScore W2034754094C41008148 @default.
- W2034754094 hasConceptScore W2034754094C71139939 @default.
- W2034754094 hasConceptScore W2034754094C80444323 @default.
- W2034754094 hasIssue "1" @default.
- W2034754094 hasLocation W20347540941 @default.
- W2034754094 hasLocation W20347540942 @default.
- W2034754094 hasOpenAccess W2034754094 @default.
- W2034754094 hasPrimaryLocation W20347540941 @default.
- W2034754094 hasRelatedWork W119381390 @default.
- W2034754094 hasRelatedWork W1537541219 @default.
- W2034754094 hasRelatedWork W1566488688 @default.
- W2034754094 hasRelatedWork W2075277371 @default.
- W2034754094 hasRelatedWork W2082558313 @default.
- W2034754094 hasRelatedWork W2179240994 @default.
- W2034754094 hasRelatedWork W3021130237 @default.
- W2034754094 hasRelatedWork W4233570983 @default.
- W2034754094 hasRelatedWork W65541081 @default.
- W2034754094 hasRelatedWork W2138716118 @default.
- W2034754094 hasVolume "19" @default.
- W2034754094 isParatext "false" @default.
- W2034754094 isRetracted "false" @default.
- W2034754094 magId "2034754094" @default.
- W2034754094 workType "article" @default.