Horn sentences in Post algebras
type: Item
instance of: scholarly article
title: Horn sentences in Post algebras
zbMATH Open document ID: 0882.03062
DOI: 10.1016/S0012-365X(97)00019-8
author: Dragić Banković
published in: Discrete Mathematics
publication date: 1997-09-17T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03G20
zbMATH DE Number: 1062453
zbMATH Keywords: Horn sentence
zbMATH Keywords: Post algebra
reviewed by: Sergiu Rudeanu
MaRDI profile type: Publication
cites work: Functions and equations in classes of distributive lattices with pseudocomplementation
cites work: Model theory
cites work: The Lattice Theory of Post Algebras
cites work: Q4135510
cites work: Poet algebras and pseudo-Post algebras
cites work: On functions and equations in distributive lattices
cites work: Q4083731
cites work: On Postian algebraic equations
description: scientific article; zbMATH DE number 1062453