Intensional completeness in an extension of Gödel/Dummett logic
scientific article; zbMATH DE number 1901325