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