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.
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.