On the structure of varieties with equationally definable principal congruences I

This publication has 37 references indexed in Scilit:

• The lattice of modal logics: an algebraic investigation
  The Journal of Symbolic Logic, 1980
• Sheaf Constructions and Their Elementary Properties
  Transactions of the American Mathematical Society, 1979
• Sheaf constructions and their elementary properties
  Transactions of the American Mathematical Society, 1979
• Finite equational bases for finite algebras in a congruence-distributive equational class
  Advances in Mathematics, 1977
• Der Verband der normalen verzweigten Modallogiken
  Mathematische Zeitschrift, 1977
• Distributive lattices with an additional unary operation
  Aequationes mathematicae, 1977
• The Structure of Pseudocomplemented Distributive Lattices. I: Subdirect Decomposition
  Transactions of the American Mathematical Society, 1971
• Semi-Boolean lattices.
  Notre Dame Journal of Formal Logic, 1969
• Implicative Semi-Lattices
  Transactions of the American Mathematical Society, 1965
• Implicative semi-lattices
  Transactions of the American Mathematical Society, 1965