A survey of the Theorema project
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Logical reasoning with diagrams
Logical reasoning with diagrams
Visual information and valid reasoning
Logical reasoning with diagrams
The Graphic-Linguistic DistinctionExploring Alternatives
Artificial Intelligence Review
Logic and Visual Information
Diagrammatic Reasoning: Cognitive and Computational Perspectives
Diagrammatic Reasoning: Cognitive and Computational Perspectives
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
| Hi-index | 0.00 |
The idea of logicographic symbols is to attach graphical drawings to predicate or function constants. The drawings symbolize the intuition behind the notion denoted by the constants. Without losing rigor, logicographic symbols can be used in formal statements with the effect of enhancing readability considerably. In this paper we describe the concept, the design, and the use of logicographic symbols in logic languages, notably in the Theorema system. The presentation will be based on examples that illustrate the various aspects of logicographic symbols.