Gamma Existential Graph Support
Opened this issue · 0 comments
James-Oswald commented
Add support for gamma existential graphs. Introduces a new type of cut and more inference rules.
s11229-017-1390-3_1.pdf
Despite GEGs subsuming AEGs, users should be able to select between an AEG mode and a GEG mode when starting a new proof, this is to ensure compliance with BEGs (beta existential graphs) for future versions.