Horn sentences in Post algebras
The author proves that if a Horn sentence in the language of \(r\)-Post algebras holds in the \(r\)-element Post algebra then it holds in every \(r\)-Post algebra.
scientific article; zbMATH DE number 1062453