Giters

bhaaksema / g4ip-prolog

Automated Theorem Prover for Intuitionistic Propositional Logic

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

G4ip Prolog

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

About

Automated Theorem Prover for Intuitionistic Propositional Logic

License:GNU General Public License v3.0

Languages

Language:Prolog 71.3%Language:Dockerfile 28.7%