Axiomatization and completeness of uncountably valued approximation logic
scientific article; zbMATH DE number 536896
scientific article