A cut-free calculus for second-order Gödel logic
scientific article; zbMATH DE number 6805413
scientific article