|
Дискретная математика, 1990, том 2, выпуск 4, страницы 18–25
(Mi dm882)
|
|
|
|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Замкнутые классы в k-значной логике с операцией разветвления по предикатам
В. Д. Соловьев
Аннотация:
Дается полное описание замкнутых классов в функциональной системе (Pk,=). Устанавливается, что семейство замкнутых классов в (Pk,=), содержащих функцию h(x,y,z,t), изоморфно структуре всех замкнутых классов в (Pk,=), где h(x,y,z,t)=z, если x=y и h(x,y,z,t)=t, если x≠y. Кроме того, изучается функциональная система с разветвлением по предикату неравенства относительно естественного порядка на (Ek,=).
Статья поступила: 26.01.1989
Образец цитирования:
В. Д. Соловьев, “Замкнутые классы в k-значной логике с операцией разветвления по предикатам”, Дискрет. матем., 2:4 (1990), 18–25
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm882 https://www.mathnet.ru/rus/dm/v2/i4/p18
|
Статистика просмотров: |
Страница аннотации: | 354 | PDF полного текста: | 308 | Список литературы: | 1 | Первая страница: | 1 |
|