Congruences in closed classes in a k-valued logic, defined by predicates (Q1078552): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| 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 | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01157540 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2059092993 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 08:34, 30 July 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
