Congruences in closed classes in a k-valued logic, defined by predicates (Q1078552): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:07, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruences in closed classes in a k-valued logic, defined by predicates |
scientific article |
Statements
Congruences in closed classes in a k-valued logic, defined by predicates (English)
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