Matches in SemOpenAlex for { <https://semopenalex.org/work/W1618006991> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1618006991 abstract "The Kuroda negative translation translates classical logic only into intuitionistic logic, not into minimal logic. We present eight variants of the Kuroda negative translation that translate classical logic even into minimal logic. The proofs of their soundness theorems are interesting because they illustrate four different methods of proof." @default.
- W1618006991 created "2016-06-24" @default.
- W1618006991 creator A5020909859 @default.
- W1618006991 date "2011-08-02" @default.
- W1618006991 modified "2023-09-27" @default.
- W1618006991 title "Variants into minimal logic of the Kuroda negative translation" @default.
- W1618006991 cites W1483259227 @default.
- W1618006991 cites W1483601727 @default.
- W1618006991 cites W1972458837 @default.
- W1618006991 cites W2483883535 @default.
- W1618006991 hasPublicationYear "2011" @default.
- W1618006991 type Work @default.
- W1618006991 sameAs 1618006991 @default.
- W1618006991 citedByCount "0" @default.
- W1618006991 crossrefType "posted-content" @default.
- W1618006991 hasAuthorship W1618006991A5020909859 @default.
- W1618006991 hasConcept C102993220 @default.
- W1618006991 hasConcept C104317684 @default.
- W1618006991 hasConcept C105580179 @default.
- W1618006991 hasConcept C108710211 @default.
- W1618006991 hasConcept C110039528 @default.
- W1618006991 hasConcept C118615104 @default.
- W1618006991 hasConcept C149364088 @default.
- W1618006991 hasConcept C171482190 @default.
- W1618006991 hasConcept C178421362 @default.
- W1618006991 hasConcept C185592680 @default.
- W1618006991 hasConcept C199360897 @default.
- W1618006991 hasConcept C203659156 @default.
- W1618006991 hasConcept C2524010 @default.
- W1618006991 hasConcept C28077239 @default.
- W1618006991 hasConcept C33203268 @default.
- W1618006991 hasConcept C33923547 @default.
- W1618006991 hasConcept C39920170 @default.
- W1618006991 hasConcept C41008148 @default.
- W1618006991 hasConcept C55493867 @default.
- W1618006991 hasConceptScore W1618006991C102993220 @default.
- W1618006991 hasConceptScore W1618006991C104317684 @default.
- W1618006991 hasConceptScore W1618006991C105580179 @default.
- W1618006991 hasConceptScore W1618006991C108710211 @default.
- W1618006991 hasConceptScore W1618006991C110039528 @default.
- W1618006991 hasConceptScore W1618006991C118615104 @default.
- W1618006991 hasConceptScore W1618006991C149364088 @default.
- W1618006991 hasConceptScore W1618006991C171482190 @default.
- W1618006991 hasConceptScore W1618006991C178421362 @default.
- W1618006991 hasConceptScore W1618006991C185592680 @default.
- W1618006991 hasConceptScore W1618006991C199360897 @default.
- W1618006991 hasConceptScore W1618006991C203659156 @default.
- W1618006991 hasConceptScore W1618006991C2524010 @default.
- W1618006991 hasConceptScore W1618006991C28077239 @default.
- W1618006991 hasConceptScore W1618006991C33203268 @default.
- W1618006991 hasConceptScore W1618006991C33923547 @default.
- W1618006991 hasConceptScore W1618006991C39920170 @default.
- W1618006991 hasConceptScore W1618006991C41008148 @default.
- W1618006991 hasConceptScore W1618006991C55493867 @default.
- W1618006991 hasLocation W16180069911 @default.
- W1618006991 hasOpenAccess W1618006991 @default.
- W1618006991 hasPrimaryLocation W16180069911 @default.
- W1618006991 hasRelatedWork W10948657 @default.
- W1618006991 hasRelatedWork W1553484691 @default.
- W1618006991 hasRelatedWork W1597691074 @default.
- W1618006991 hasRelatedWork W1608843844 @default.
- W1618006991 hasRelatedWork W1998439738 @default.
- W1618006991 hasRelatedWork W2008035652 @default.
- W1618006991 hasRelatedWork W2058851699 @default.
- W1618006991 hasRelatedWork W2061774562 @default.
- W1618006991 hasRelatedWork W2078212736 @default.
- W1618006991 hasRelatedWork W2095820479 @default.
- W1618006991 hasRelatedWork W2109246080 @default.
- W1618006991 hasRelatedWork W2121616340 @default.
- W1618006991 hasRelatedWork W2208938271 @default.
- W1618006991 hasRelatedWork W2274613378 @default.
- W1618006991 hasRelatedWork W2483883535 @default.
- W1618006991 hasRelatedWork W2753141990 @default.
- W1618006991 hasRelatedWork W2896648705 @default.
- W1618006991 hasRelatedWork W2914809917 @default.
- W1618006991 hasRelatedWork W2963599042 @default.
- W1618006991 hasRelatedWork W2089702401 @default.
- W1618006991 isParatext "false" @default.
- W1618006991 isRetracted "false" @default.
- W1618006991 magId "1618006991" @default.
- W1618006991 workType "article" @default.