Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Gamma Existential Graph Support #320

Open
James-Oswald opened this issue Dec 16, 2023 · 0 comments
Open

Gamma Existential Graph Support #320

James-Oswald opened this issue Dec 16, 2023 · 0 comments
Labels
API-Break Will break test results or backwards compatibility. Leftmost number in semantic versioning Enhancement New feature Major Feature Takes a lot of work to implement
Milestone
PMH 2.0.0

Comments

@James-Oswald
Copy link
Member

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.
@James-Oswald James-Oswald added the Enhancement New feature label Dec 16, 2023
@James-Oswald James-Oswald added this to the PMH 2.0.0 milestone Dec 16, 2023
@James-Oswald James-Oswald added the Major Feature Takes a lot of work to implement label Dec 16, 2023
@RyanR712 RyanR712 added the API-Break Will break test results or backwards compatibility. Leftmost number in semantic versioning label Jan 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
API-Break Will break test results or backwards compatibility. Leftmost number in semantic versioning Enhancement New feature Major Feature Takes a lot of work to implement
Projects
None yet
Milestone
PMH 2.0.0
Development

No branches or pull requests
2 participants
@James-Oswald @RyanR712