Fixing shin's reading algorithm for peirce's existential graphs

Authors:
Frithjof Dau
Affiliations:
Technische Universität Dresden
Venue:
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Year:
2006

Citing 0
Cited 4

A diagrammatic reasoning system for the description logic ALC

Journal of Visual Languages and Computing
Constants and Functions in Peirce's Existential Graphs

ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
The Advent of Formal Diagrammatic Reasoning Systems

ICFCA '09 Proceedings of the 7th International Conference on Formal Concept Analysis
A diagrammatic reasoning system for ALC

KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management

Quantified Score

Hi-index	0.00

Visualization

Abstract

In her book “The Iconic Logic of Peirce's Graphs”, S. J. Shin elaborates the diagrammatic logic of Peirce's Existential Graphs. Particularly, she provides translations from Existential Graphs to first order logic. Unfortunately, her translation is not in all cases correct. In this paper, the translation is fixed by means of so-called single object ligatures.