Partial Horn logic and Cartesian categories
scientific article; zbMATH DE number 5126411
scientific article