A semantic proof of strong cut-admissibility for first-order Godel logic
scientific article; zbMATH DE number 6155649