| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 402014 | Journal of Symbolic Computation | 2006 | 24 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
