The logic system of concept graphs with negation. And its relationship to predicate logic.

DOI10.1007/B94030zbMath1045.03001OpenAlexW2481855281MaRDI QIDQ1418355

Frithjof Dau

Publication date: 11 January 2004

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94030

zbMATH Keywords

first-order logiccontextual logicnegationconceptual graphconcept graphexistential graph

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) General logic (03B99)

Related Items (1)

A New Syntax for Diagrammatic Logic: A Generic Figures Approach

This page was built for publication: The logic system of concept graphs with negation. And its relationship to predicate logic.