-
Notifications
You must be signed in to change notification settings - Fork 2
Home
EGG is a program to manipulate existential graphs, an alternative graphical approach to classical logic. While writable on paper, existential graphs really need a way of visualizing a step-by-step history of valid rules and inferences.
There was an appspot site for it, but it was (in my honest opinion) pretty terrible (in terms of UI and usability). I can't find the link to it at the moment, but it's out there somewhere.
EGG is written in Qt C++ and will be released under the MIT license.
By the end of development, we hope to have a nice intuitive interface with features that allow rapid development and modifications to existential graphs. We have some basic components to develop: a graphical view, a backend tree-based structure, and a history stack to track the moves made. We also want to have some kind of premise/goal management, to allow users to follow some kind of guideline to see if their arguments are valid or invalid.