Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Conceptual structures
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
An Embedding of Existential Graphs into Concept Graphs with Negations
ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
Some notes on proofs with alpha graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Fixing shin's reading algorithm for peirce's existential graphs
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Speedith: a diagrammatic reasoner for spider diagrams
Diagrams'12 Proceedings of the 7th international conference on Diagrammatic Representation and Inference
Hi-index | 0.00 |
The system of Peirce's existential graphs is a diagrammatic version of first order logic. To be more precise: As Peirce wanted to develop a logic of relatives(i.e., relations), existential graphs correspond to first order logic with relations and identity, but without constants or functions. In contemporary elaborations of first order logic, constants and functions are usually employed. In this paper, it is described how the syntax, semantics and calculus for Peirce's existential graphs has to be extended in order to encompass constants and functions as well.