Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101828175> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3101828175 endingPage "122" @default.
- W3101828175 startingPage "102" @default.
- W3101828175 abstract "We give examples of calculi that extend Gentzen's sequent calculus LK by unsound quantifier inferences in such a way that (i) derivations lead only to true sequents, and (ii) proofs therein are non-elementarily shorter than LK-proofs." @default.
- W3101828175 created "2020-11-23" @default.
- W3101828175 creator A5008701404 @default.
- W3101828175 creator A5035315045 @default.
- W3101828175 date "2019-03-01" @default.
- W3101828175 modified "2023-09-29" @default.
- W3101828175 title "UNSOUND INFERENCES MAKE PROOFS SHORTER" @default.
- W3101828175 cites W1570226938 @default.
- W3101828175 cites W1990529320 @default.
- W3101828175 cites W2031927644 @default.
- W3101828175 cites W2085522128 @default.
- W3101828175 cites W4255132490 @default.
- W3101828175 doi "https://doi.org/10.1017/jsl.2018.51" @default.
- W3101828175 hasPublicationYear "2019" @default.
- W3101828175 type Work @default.
- W3101828175 sameAs 3101828175 @default.
- W3101828175 citedByCount "19" @default.
- W3101828175 countsByYear W31018281752019 @default.
- W3101828175 countsByYear W31018281752020 @default.
- W3101828175 countsByYear W31018281752021 @default.
- W3101828175 countsByYear W31018281752022 @default.
- W3101828175 countsByYear W31018281752023 @default.
- W3101828175 crossrefType "journal-article" @default.
- W3101828175 hasAuthorship W3101828175A5008701404 @default.
- W3101828175 hasAuthorship W3101828175A5035315045 @default.
- W3101828175 hasBestOaLocation W31018281752 @default.
- W3101828175 hasConcept C108710211 @default.
- W3101828175 hasConcept C111404639 @default.
- W3101828175 hasConcept C118615104 @default.
- W3101828175 hasConcept C136119220 @default.
- W3101828175 hasConcept C154945302 @default.
- W3101828175 hasConcept C199343813 @default.
- W3101828175 hasConcept C202444582 @default.
- W3101828175 hasConcept C2524010 @default.
- W3101828175 hasConcept C2777686260 @default.
- W3101828175 hasConcept C2778523021 @default.
- W3101828175 hasConcept C33923547 @default.
- W3101828175 hasConcept C41008148 @default.
- W3101828175 hasConcept C62073222 @default.
- W3101828175 hasConcept C65880906 @default.
- W3101828175 hasConcept C71924100 @default.
- W3101828175 hasConcept C89421646 @default.
- W3101828175 hasConceptScore W3101828175C108710211 @default.
- W3101828175 hasConceptScore W3101828175C111404639 @default.
- W3101828175 hasConceptScore W3101828175C118615104 @default.
- W3101828175 hasConceptScore W3101828175C136119220 @default.
- W3101828175 hasConceptScore W3101828175C154945302 @default.
- W3101828175 hasConceptScore W3101828175C199343813 @default.
- W3101828175 hasConceptScore W3101828175C202444582 @default.
- W3101828175 hasConceptScore W3101828175C2524010 @default.
- W3101828175 hasConceptScore W3101828175C2777686260 @default.
- W3101828175 hasConceptScore W3101828175C2778523021 @default.
- W3101828175 hasConceptScore W3101828175C33923547 @default.
- W3101828175 hasConceptScore W3101828175C41008148 @default.
- W3101828175 hasConceptScore W3101828175C62073222 @default.
- W3101828175 hasConceptScore W3101828175C65880906 @default.
- W3101828175 hasConceptScore W3101828175C71924100 @default.
- W3101828175 hasConceptScore W3101828175C89421646 @default.
- W3101828175 hasIssue "1" @default.
- W3101828175 hasLocation W31018281751 @default.
- W3101828175 hasLocation W31018281752 @default.
- W3101828175 hasLocation W31018281753 @default.
- W3101828175 hasOpenAccess W3101828175 @default.
- W3101828175 hasPrimaryLocation W31018281751 @default.
- W3101828175 hasRelatedWork W1479042755 @default.
- W3101828175 hasRelatedWork W1530709631 @default.
- W3101828175 hasRelatedWork W1562648369 @default.
- W3101828175 hasRelatedWork W2023557900 @default.
- W3101828175 hasRelatedWork W2793983771 @default.
- W3101828175 hasRelatedWork W2891688494 @default.
- W3101828175 hasRelatedWork W3101828175 @default.
- W3101828175 hasRelatedWork W4210480840 @default.
- W3101828175 hasRelatedWork W4289719533 @default.
- W3101828175 hasRelatedWork W4295728898 @default.
- W3101828175 hasVolume "84" @default.
- W3101828175 isParatext "false" @default.
- W3101828175 isRetracted "false" @default.
- W3101828175 magId "3101828175" @default.
- W3101828175 workType "article" @default.