A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic
scientific article; zbMATH DE number 7869818
scientific article