College of Science
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.
Bowen, Spencer; Daigle, Matthew; Kasian, Irene; Polychroniades, Telly; and Thomas, Jason
"Web-Based Existential Graph Editor Tool,"
Perpetua: The UAH Journal of Undergraduate Research: Vol. 1:
1, Article 2.
Available at: https://louis.uah.edu/perpetua/vol1/iss1/2