An essay in matrix semantics for consequence relations
multiple-conclusion consequence relation
consequence relation determined by a class of matrices
strict homomorphism and strict congruence
Shoesmith and Smiley's finite basis theorem
scientific article; zbMATH DE number 7918538
scientific article