Equivalences among various logical frameworks of partial algebras
scientific article; zbMATH DE number 7869537
scientific article