College
College of Science
Department
Computer Science
Abstract
Formal logic is a fundamental topic of computer science. This paper introduces readers to the basic logic operators of predicate logic and how they can be applied to a diagram-based notation for logic called existential graphs. Inference rules for sound and complete existential graph transformation are presented with brief examples of their applica-tion. The authors introduce a new web-based Existen-tial Graph Editor Tool built to implement existential graphs. A brief tour of the tool’s graphical user inter-face and key features is provided. The efficacy of the formal logic tool is demonstrated by proving an ex-ample theorem.
Recommended Citation
Bowen, Spencer; Daigle, Matthew; Kasian, Irene; Polychroniades, Telly; and Thomas, Jason
(2016)
"Web-Based Existential Graph Editor Tool,"
Perpetua: The Journal of Undergraduate Research at UAH: Vol. 1:
Iss.
1, Article 2.
Available at:
https://louis.uah.edu/perpetua/vol1/iss1/2