scientific article; zbMATH DE number 3636002
From MaRDI portal
Publication:4196408
zbMath0409.03017MaRDI QIDQ4196408
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Matrices, primitive satisfaction and finitely based logics ⋮ Three-element nonfinitely axiomatizable matrices ⋮ Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class ⋮ The lattice of strengthenings of a strongly finite consequence operation ⋮ 2-element matrices ⋮ Three-element non-finitely axiomatizable matrices and term-equivalence ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
This page was built for publication:
