|
-
Ключові слова:
ієрархія, иерархия ; алгебра логіки, алгебра логики ; диференціальне числення, дифференциальное исчисление
-
Анотація:
Досліджені фінітарні логіки часткових предикативів над іменними множинами. Розглянута ієрархія таких логік. Для логік кванторного та функціонально-екваційного рівня побудовані секвенційні числення без обмежень різнокванторності, доведені теореми повноти.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 