Congruences in closed classes in a k-valued logic, defined by predicates (Q1078552): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: On congruences in closed Post classes / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4152214 / rank | |||
Normal rank | |||
Revision as of 14:09, 17 June 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
