A forward unprovability calculus for intuitionistic propositional logic
From MaRDI portal
Publication:1694454
DOI10.1007/978-3-319-66902-1_7zbMath1496.03043OpenAlexW2753015581MaRDI QIDQ1694454
Mauro Ferrari, Camillo Fiorentini
Publication date: 2 February 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-66902-1_7
Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication: A forward unprovability calculus for intuitionistic propositional logic
