Compactness theorems for finitely-many-valued sentential logics
scientific article; zbMATH DE number 3645058