Matches in SemOpenAlex for { <https://semopenalex.org/work/W2012465908> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2012465908 endingPage "100" @default.
- W2012465908 startingPage "97" @default.
- W2012465908 abstract "We shall take “strong negation” to be a unary operator with some of the properties usually associated with negation, and such that the strong negation of a statement implies the “ordinary” negation ofthat statement, but not vice-versa. This paper will consider two varieties of strong negation: first, strong negation set in the context of the propositional calculus, specifically, the intuitionist PC, and secondly, strong negation in modal systems, that is, strong negation as impossibility. In the latter part of the paper, we shall present axiomatizations of several classical Lewis-modal systems having only material implication and impossibility primitive." @default.
- W2012465908 created "2016-06-24" @default.
- W2012465908 creator A5015113056 @default.
- W2012465908 date "1968-04-01" @default.
- W2012465908 modified "2023-09-26" @default.
- W2012465908 title "Some calculi with strong negation primitive " @default.
- W2012465908 cites W2070290404 @default.
- W2012465908 doi "https://doi.org/10.2307/2270056" @default.
- W2012465908 hasPublicationYear "1968" @default.
- W2012465908 type Work @default.
- W2012465908 sameAs 2012465908 @default.
- W2012465908 citedByCount "0" @default.
- W2012465908 crossrefType "journal-article" @default.
- W2012465908 hasAuthorship W2012465908A5015113056 @default.
- W2012465908 hasConcept C102993220 @default.
- W2012465908 hasConcept C118615104 @default.
- W2012465908 hasConcept C136119220 @default.
- W2012465908 hasConcept C138885662 @default.
- W2012465908 hasConcept C154945302 @default.
- W2012465908 hasConcept C17744445 @default.
- W2012465908 hasConcept C185592680 @default.
- W2012465908 hasConcept C188027245 @default.
- W2012465908 hasConcept C194146651 @default.
- W2012465908 hasConcept C199343813 @default.
- W2012465908 hasConcept C199539241 @default.
- W2012465908 hasConcept C202444582 @default.
- W2012465908 hasConcept C203659156 @default.
- W2012465908 hasConcept C2185349 @default.
- W2012465908 hasConcept C27508121 @default.
- W2012465908 hasConcept C2776261394 @default.
- W2012465908 hasConcept C2777026412 @default.
- W2012465908 hasConcept C2777686260 @default.
- W2012465908 hasConcept C33923547 @default.
- W2012465908 hasConcept C3845977 @default.
- W2012465908 hasConcept C41008148 @default.
- W2012465908 hasConcept C41895202 @default.
- W2012465908 hasConcept C71139939 @default.
- W2012465908 hasConcept C71924100 @default.
- W2012465908 hasConcept C78023250 @default.
- W2012465908 hasConcept C78344899 @default.
- W2012465908 hasConceptScore W2012465908C102993220 @default.
- W2012465908 hasConceptScore W2012465908C118615104 @default.
- W2012465908 hasConceptScore W2012465908C136119220 @default.
- W2012465908 hasConceptScore W2012465908C138885662 @default.
- W2012465908 hasConceptScore W2012465908C154945302 @default.
- W2012465908 hasConceptScore W2012465908C17744445 @default.
- W2012465908 hasConceptScore W2012465908C185592680 @default.
- W2012465908 hasConceptScore W2012465908C188027245 @default.
- W2012465908 hasConceptScore W2012465908C194146651 @default.
- W2012465908 hasConceptScore W2012465908C199343813 @default.
- W2012465908 hasConceptScore W2012465908C199539241 @default.
- W2012465908 hasConceptScore W2012465908C202444582 @default.
- W2012465908 hasConceptScore W2012465908C203659156 @default.
- W2012465908 hasConceptScore W2012465908C2185349 @default.
- W2012465908 hasConceptScore W2012465908C27508121 @default.
- W2012465908 hasConceptScore W2012465908C2776261394 @default.
- W2012465908 hasConceptScore W2012465908C2777026412 @default.
- W2012465908 hasConceptScore W2012465908C2777686260 @default.
- W2012465908 hasConceptScore W2012465908C33923547 @default.
- W2012465908 hasConceptScore W2012465908C3845977 @default.
- W2012465908 hasConceptScore W2012465908C41008148 @default.
- W2012465908 hasConceptScore W2012465908C41895202 @default.
- W2012465908 hasConceptScore W2012465908C71139939 @default.
- W2012465908 hasConceptScore W2012465908C71924100 @default.
- W2012465908 hasConceptScore W2012465908C78023250 @default.
- W2012465908 hasConceptScore W2012465908C78344899 @default.
- W2012465908 hasIssue "01" @default.
- W2012465908 hasLocation W20124659081 @default.
- W2012465908 hasOpenAccess W2012465908 @default.
- W2012465908 hasPrimaryLocation W20124659081 @default.
- W2012465908 hasRelatedWork W1503088848 @default.
- W2012465908 hasRelatedWork W1521977880 @default.
- W2012465908 hasRelatedWork W2012465908 @default.
- W2012465908 hasRelatedWork W2077513906 @default.
- W2012465908 hasRelatedWork W2534562289 @default.
- W2012465908 hasRelatedWork W2562511122 @default.
- W2012465908 hasRelatedWork W3098712411 @default.
- W2012465908 hasRelatedWork W3139146373 @default.
- W2012465908 hasRelatedWork W3189472968 @default.
- W2012465908 hasRelatedWork W4246138424 @default.
- W2012465908 hasVolume "33" @default.
- W2012465908 isParatext "false" @default.
- W2012465908 isRetracted "false" @default.
- W2012465908 magId "2012465908" @default.
- W2012465908 workType "article" @default.