Matches in SemOpenAlex for { <https://semopenalex.org/work/W1557381808> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1557381808 abstract "Start.- 1 Introduction.- 2 Basic Definitions.- Alpha.- 3 Overview for Alpha.- 4 Semantics for Nonexistential Concept Graphs.- 5 Calculus for Nonexistential Concept Graphs.- 6 Soundness and Completeness.- Beta.- 7 Overview for Beta.- 8 First Order Logic.- 9 Semantics for Existential Concept Graphs.- 10 Calculus for Existential Concept Graphs.- 11 Syntactical Equivalence to FOL.- 12 Summary of Beta.- 13 Concept Graphs without Cuts.- 14 Design Decisions." @default.
- W1557381808 created "2016-06-24" @default.
- W1557381808 creator A5059490205 @default.
- W1557381808 date "2003-11-24" @default.
- W1557381808 modified "2023-09-27" @default.
- W1557381808 title "The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic" @default.
- W1557381808 hasPublicationYear "2003" @default.
- W1557381808 type Work @default.
- W1557381808 sameAs 1557381808 @default.
- W1557381808 citedByCount "6" @default.
- W1557381808 countsByYear W15573818082014 @default.
- W1557381808 countsByYear W15573818082015 @default.
- W1557381808 countsByYear W15573818082020 @default.
- W1557381808 crossrefType "book" @default.
- W1557381808 hasAuthorship W1557381808A5059490205 @default.
- W1557381808 hasConcept C100481476 @default.
- W1557381808 hasConcept C102993220 @default.
- W1557381808 hasConcept C118615104 @default.
- W1557381808 hasConcept C140146324 @default.
- W1557381808 hasConcept C156325763 @default.
- W1557381808 hasConcept C169896238 @default.
- W1557381808 hasConcept C184337299 @default.
- W1557381808 hasConcept C19689857 @default.
- W1557381808 hasConcept C199343813 @default.
- W1557381808 hasConcept C199360897 @default.
- W1557381808 hasConcept C203659156 @default.
- W1557381808 hasConcept C2039508 @default.
- W1557381808 hasConcept C2185349 @default.
- W1557381808 hasConcept C2777686260 @default.
- W1557381808 hasConcept C30128091 @default.
- W1557381808 hasConcept C33923547 @default.
- W1557381808 hasConcept C3845977 @default.
- W1557381808 hasConcept C39920170 @default.
- W1557381808 hasConcept C41008148 @default.
- W1557381808 hasConcept C71924100 @default.
- W1557381808 hasConceptScore W1557381808C100481476 @default.
- W1557381808 hasConceptScore W1557381808C102993220 @default.
- W1557381808 hasConceptScore W1557381808C118615104 @default.
- W1557381808 hasConceptScore W1557381808C140146324 @default.
- W1557381808 hasConceptScore W1557381808C156325763 @default.
- W1557381808 hasConceptScore W1557381808C169896238 @default.
- W1557381808 hasConceptScore W1557381808C184337299 @default.
- W1557381808 hasConceptScore W1557381808C19689857 @default.
- W1557381808 hasConceptScore W1557381808C199343813 @default.
- W1557381808 hasConceptScore W1557381808C199360897 @default.
- W1557381808 hasConceptScore W1557381808C203659156 @default.
- W1557381808 hasConceptScore W1557381808C2039508 @default.
- W1557381808 hasConceptScore W1557381808C2185349 @default.
- W1557381808 hasConceptScore W1557381808C2777686260 @default.
- W1557381808 hasConceptScore W1557381808C30128091 @default.
- W1557381808 hasConceptScore W1557381808C33923547 @default.
- W1557381808 hasConceptScore W1557381808C3845977 @default.
- W1557381808 hasConceptScore W1557381808C39920170 @default.
- W1557381808 hasConceptScore W1557381808C41008148 @default.
- W1557381808 hasConceptScore W1557381808C71924100 @default.
- W1557381808 hasLocation W15573818081 @default.
- W1557381808 hasOpenAccess W1557381808 @default.
- W1557381808 hasPrimaryLocation W15573818081 @default.
- W1557381808 hasRelatedWork W1166927269 @default.
- W1557381808 hasRelatedWork W135588552 @default.
- W1557381808 hasRelatedWork W1486545284 @default.
- W1557381808 hasRelatedWork W1493596129 @default.
- W1557381808 hasRelatedWork W1499449884 @default.
- W1557381808 hasRelatedWork W1503729935 @default.
- W1557381808 hasRelatedWork W1516346799 @default.
- W1557381808 hasRelatedWork W1530810966 @default.
- W1557381808 hasRelatedWork W1560086490 @default.
- W1557381808 hasRelatedWork W1577313005 @default.
- W1557381808 hasRelatedWork W1599431041 @default.
- W1557381808 hasRelatedWork W191711976 @default.
- W1557381808 hasRelatedWork W201356308 @default.
- W1557381808 hasRelatedWork W2202297506 @default.
- W1557381808 hasRelatedWork W2481855281 @default.
- W1557381808 hasRelatedWork W2481927729 @default.
- W1557381808 hasRelatedWork W2487573296 @default.
- W1557381808 hasRelatedWork W2501061182 @default.
- W1557381808 hasRelatedWork W2502037753 @default.
- W1557381808 hasRelatedWork W34239032 @default.
- W1557381808 isParatext "false" @default.
- W1557381808 isRetracted "false" @default.
- W1557381808 magId "1557381808" @default.
- W1557381808 workType "book" @default.