Flat algebras and the translation of universal Horn logic to equational logic

Marcel Jackson. Flat algebras and the translation of universal Horn logic to equational logic. Journal of Symbolic Logic, 73(1):90-128, 2008. [doi]

Abstract

Abstract is missing.