Matches in SemOpenAlex for { <https://semopenalex.org/work/W2751003930> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2751003930 abstract "In topos theory it is well-known that any nucleus j gives rise to a translation of intuitionistic logic into itself in a way which generalises the Goedel-Gentzen negative translation. Here we show that there exists a similar j-translation which is more in the spirit of Kuroda's negative translation. The key is to apply the nucleus not only to the entire formula and universally quantified subformulas, but to conclusions of implications as well. The development is entirely syntactic and no knowledge of topos theory is required to read this small note." @default.
- W2751003930 created "2017-09-15" @default.
- W2751003930 creator A5040167167 @default.
- W2751003930 date "2017-08-29" @default.
- W2751003930 modified "2023-09-27" @default.
- W2751003930 title "A Kuroda-style j-translation." @default.
- W2751003930 cites W126568045 @default.
- W2751003930 cites W1483259227 @default.
- W2751003930 cites W1506329803 @default.
- W2751003930 cites W1979476005 @default.
- W2751003930 cites W2082543867 @default.
- W2751003930 cites W2483883535 @default.
- W2751003930 cites W2620371595 @default.
- W2751003930 cites W36355091 @default.
- W2751003930 hasPublicationYear "2017" @default.
- W2751003930 type Work @default.
- W2751003930 sameAs 2751003930 @default.
- W2751003930 citedByCount "0" @default.
- W2751003930 crossrefType "posted-content" @default.
- W2751003930 hasAuthorship W2751003930A5040167167 @default.
- W2751003930 hasConcept C104317684 @default.
- W2751003930 hasConcept C105580179 @default.
- W2751003930 hasConcept C124952713 @default.
- W2751003930 hasConcept C138885662 @default.
- W2751003930 hasConcept C142362112 @default.
- W2751003930 hasConcept C149364088 @default.
- W2751003930 hasConcept C178421362 @default.
- W2751003930 hasConcept C182141236 @default.
- W2751003930 hasConcept C185592680 @default.
- W2751003930 hasConcept C203005215 @default.
- W2751003930 hasConcept C26517878 @default.
- W2751003930 hasConcept C2776445246 @default.
- W2751003930 hasConcept C38652104 @default.
- W2751003930 hasConcept C41008148 @default.
- W2751003930 hasConcept C41895202 @default.
- W2751003930 hasConcept C55493867 @default.
- W2751003930 hasConcept C69562738 @default.
- W2751003930 hasConcept C98199350 @default.
- W2751003930 hasConceptScore W2751003930C104317684 @default.
- W2751003930 hasConceptScore W2751003930C105580179 @default.
- W2751003930 hasConceptScore W2751003930C124952713 @default.
- W2751003930 hasConceptScore W2751003930C138885662 @default.
- W2751003930 hasConceptScore W2751003930C142362112 @default.
- W2751003930 hasConceptScore W2751003930C149364088 @default.
- W2751003930 hasConceptScore W2751003930C178421362 @default.
- W2751003930 hasConceptScore W2751003930C182141236 @default.
- W2751003930 hasConceptScore W2751003930C185592680 @default.
- W2751003930 hasConceptScore W2751003930C203005215 @default.
- W2751003930 hasConceptScore W2751003930C26517878 @default.
- W2751003930 hasConceptScore W2751003930C2776445246 @default.
- W2751003930 hasConceptScore W2751003930C38652104 @default.
- W2751003930 hasConceptScore W2751003930C41008148 @default.
- W2751003930 hasConceptScore W2751003930C41895202 @default.
- W2751003930 hasConceptScore W2751003930C55493867 @default.
- W2751003930 hasConceptScore W2751003930C69562738 @default.
- W2751003930 hasConceptScore W2751003930C98199350 @default.
- W2751003930 hasLocation W27510039301 @default.
- W2751003930 hasOpenAccess W2751003930 @default.
- W2751003930 hasPrimaryLocation W27510039301 @default.
- W2751003930 hasRelatedWork W1559609146 @default.
- W2751003930 hasRelatedWork W1618006991 @default.
- W2751003930 hasRelatedWork W182872645 @default.
- W2751003930 hasRelatedWork W1969972084 @default.
- W2751003930 hasRelatedWork W1975151224 @default.
- W2751003930 hasRelatedWork W2039975294 @default.
- W2751003930 hasRelatedWork W2071289523 @default.
- W2751003930 hasRelatedWork W2084018688 @default.
- W2751003930 hasRelatedWork W2156951686 @default.
- W2751003930 hasRelatedWork W2330933427 @default.
- W2751003930 hasRelatedWork W2483883535 @default.
- W2751003930 hasRelatedWork W2753141990 @default.
- W2751003930 hasRelatedWork W2949109843 @default.
- W2751003930 hasRelatedWork W2951091024 @default.
- W2751003930 hasRelatedWork W2963599042 @default.
- W2751003930 hasRelatedWork W3104106663 @default.
- W2751003930 hasRelatedWork W3140918176 @default.
- W2751003930 hasRelatedWork W31475649 @default.
- W2751003930 hasRelatedWork W3151018903 @default.
- W2751003930 hasRelatedWork W3196602499 @default.
- W2751003930 isParatext "false" @default.
- W2751003930 isRetracted "false" @default.
- W2751003930 magId "2751003930" @default.
- W2751003930 workType "article" @default.