Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
scientific article; zbMATH DE number 7850749
scientific article