Horn sentences in Post algebras (Q1367043): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q588921
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / reviewed by
 
Property / reviewed by: Sergiu Rudeanu / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Functions and equations in classes of distributive lattices with pseudocomplementation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Lattice Theory of Post Algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4135510 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Poet algebras and pseudo-Post algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On functions and equations in distributive lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4083731 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Postian algebraic equations / rank
 
Normal rank

Latest revision as of 18:55, 27 May 2024

scientific article
Language Label Description Also known as
English
Horn sentences in Post algebras
scientific article

    Statements

    Horn sentences in Post algebras (English)
    0 references
    0 references
    17 September 1997
    0 references
    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.
    0 references
    Horn sentence
    0 references
    Post algebra
    0 references

    Identifiers