Automated Theorem Prover for Intuitionistic Propositional Logic
Dyckhoff, R. (2018). Contraction-free sequent calculi for intuitionistic logic: a correction. The Journal of Symbolic Logic, 83(4), 1680-1682. doi:10.1017/jsl.2018.38
-
Notifications
You must be signed in to change notification settings - Fork 0
Automated Theorem Prover for Intuitionistic Propositional Logic
License
bhaaksema/g4ip-prolog
About
Automated Theorem Prover for Intuitionistic Propositional Logic
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published