Quasiidentities of two-element algebras

This publication has 12 references indexed in Scilit:

• A proof of Lyndon's finite basis theorem
  Discrete Mathematics, 1980
• Minimal, locally-finite varieties that are not finitely axiomatizable
  Algebra universalis, 1979
• Universal Algebra
  1979
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
  Algebra universalis, 1978
• Varieties generated by para primal algebras
  Algebra universalis, 1977
• Covers in lattices of quasivarieties and independent axiomatizability
  Algebra and Logic, 1977
• Finite equational bases for finite algebras in a congruence-distributive equational class
  Advances in Mathematics, 1977
• The number of subdirectly irreducible algebras in a variety
  Algebra universalis, 1975
• Algebras Whose Congruence Lattices are Distributive.
  MATHEMATICA SCANDINAVICA, 1967
• Identities in two-valued calculi
  Transactions of the American Mathematical Society, 1951