Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?
scientific article; zbMATH DE number 7162489