Congruences in closed classes in a k-valued logic, defined by predicates (Q1078552)

From MaRDI portal





scientific article; zbMATH DE number 3961582
Language Label Description Also known as
default for all languages
No label defined
    English
    Congruences in closed classes in a k-valued logic, defined by predicates
    scientific article; zbMATH DE number 3961582

      Statements

      Congruences in closed classes in a k-valued logic, defined by predicates (English)
      0 references
      0 references
      1985
      0 references
      The results of this paper concern the coupling between congruences and the set of all predicates preserved by functions of closed classes. The main theorem gives some classification of all congruences on arbitrary closed classes and implies (as corollary) some results of \textit{A. I. Mal'tsev} [Algebra Logika 5, No.2, 5-24 (1966; Zbl 0275.08001)] and of \textit{A. I. Mal'tsev} [ibid. 11, 666-672 (1972; Zbl 0281.02059)].
      0 references
      congruence relations
      0 references
      closed classes
      0 references

      Identifiers