Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation
scientific article; zbMATH DE number 7942287
scientific article