Matches in SemOpenAlex for { <https://semopenalex.org/work/W1021663120> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1021663120 abstract "Publisher Summary The notion of negation is basic to any formal or informal logical system. When any such system is presented, it is presented either as a system without negation or as a system with some form of negation. In both cases one is supposed to know intuitively whether there is no negation in the system or whether the form of negation presented in the system is indeed as claimed. Yet the notion of what is negation in a formal system is not clear. This chapter presents a few examples in a language with ¬ and →, and poses a question whether ¬ is a form of negation in the system." @default.
- W1021663120 created "2016-06-24" @default.
- W1021663120 creator A5060284292 @default.
- W1021663120 date "1987-01-01" @default.
- W1021663120 modified "2023-09-23" @default.
- W1021663120 title "What is Negation in a System?" @default.
- W1021663120 cites W3128843429 @default.
- W1021663120 doi "https://doi.org/10.1016/s0049-237x(09)70653-6" @default.
- W1021663120 hasPublicationYear "1987" @default.
- W1021663120 type Work @default.
- W1021663120 sameAs 1021663120 @default.
- W1021663120 citedByCount "10" @default.
- W1021663120 countsByYear W10216631202021 @default.
- W1021663120 crossrefType "book-chapter" @default.
- W1021663120 hasAuthorship W1021663120A5060284292 @default.
- W1021663120 hasConcept C102315432 @default.
- W1021663120 hasConcept C102993220 @default.
- W1021663120 hasConcept C136119220 @default.
- W1021663120 hasConcept C194146651 @default.
- W1021663120 hasConcept C199360897 @default.
- W1021663120 hasConcept C202444582 @default.
- W1021663120 hasConcept C203659156 @default.
- W1021663120 hasConcept C2185349 @default.
- W1021663120 hasConcept C33923547 @default.
- W1021663120 hasConcept C3845977 @default.
- W1021663120 hasConcept C41008148 @default.
- W1021663120 hasConceptScore W1021663120C102315432 @default.
- W1021663120 hasConceptScore W1021663120C102993220 @default.
- W1021663120 hasConceptScore W1021663120C136119220 @default.
- W1021663120 hasConceptScore W1021663120C194146651 @default.
- W1021663120 hasConceptScore W1021663120C199360897 @default.
- W1021663120 hasConceptScore W1021663120C202444582 @default.
- W1021663120 hasConceptScore W1021663120C203659156 @default.
- W1021663120 hasConceptScore W1021663120C2185349 @default.
- W1021663120 hasConceptScore W1021663120C33923547 @default.
- W1021663120 hasConceptScore W1021663120C3845977 @default.
- W1021663120 hasConceptScore W1021663120C41008148 @default.
- W1021663120 hasLocation W10216631201 @default.
- W1021663120 hasOpenAccess W1021663120 @default.
- W1021663120 hasPrimaryLocation W10216631201 @default.
- W1021663120 hasRelatedWork W106432389 @default.
- W1021663120 hasRelatedWork W136050411 @default.
- W1021663120 hasRelatedWork W1487409515 @default.
- W1021663120 hasRelatedWork W159820227 @default.
- W1021663120 hasRelatedWork W1986996391 @default.
- W1021663120 hasRelatedWork W2000740920 @default.
- W1021663120 hasRelatedWork W2000798544 @default.
- W1021663120 hasRelatedWork W2001622701 @default.
- W1021663120 hasRelatedWork W2012518496 @default.
- W1021663120 hasRelatedWork W2031154837 @default.
- W1021663120 hasRelatedWork W2060256323 @default.
- W1021663120 hasRelatedWork W2119158208 @default.
- W1021663120 hasRelatedWork W2489148541 @default.
- W1021663120 hasRelatedWork W2493465233 @default.
- W1021663120 hasRelatedWork W2559156715 @default.
- W1021663120 hasRelatedWork W2586643853 @default.
- W1021663120 hasRelatedWork W2786721904 @default.
- W1021663120 hasRelatedWork W2942193527 @default.
- W1021663120 hasRelatedWork W3120495625 @default.
- W1021663120 hasRelatedWork W47695908 @default.
- W1021663120 isParatext "false" @default.
- W1021663120 isRetracted "false" @default.
- W1021663120 magId "1021663120" @default.
- W1021663120 workType "book-chapter" @default.