Publication:4196408
From MaRDI portal
zbMath0409.03017MaRDI QIDQ4196408
Publication date: 1979
03B99: General logic
Related Items
Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class, Matrices, primitive satisfaction and finitely based logics, The lattice of strengthenings of a strongly finite consequence operation, 2-element matrices, Three-element nonfinitely axiomatizable matrices, Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties