|
Никитченко, Н. С. Пропозициональные композиции частичных предикатов [Text] !Otitkn.pft: FILE NOT FOUND! !oizd.pft: FILE NOT FOUND! !ospec.pft: FILE NOT FOUND! !oistaspk_H.pft: FILE NOT FOUND! Рубрикатор НБУВ: УДК: Тематичні рубрики:
Шифр журнала:
Анотація: Визначено та досліджено композиції часткових предикатів граничного високого рівня абстракції, які є основою інфінітарних пропозиційних логік. Наведено повний опис таких композицій в термінах спеціальних алгебр, названих алгебрами Кліні, та побудовано повну систему тотожностей для таких композицій. !oprip481_H.pft: FILE NOT FOUND! Видання зберігається у :
|
|