|
-
Ключові слова:
інформатика, информатика, informatica, informatyka, information science ; комп"ютерні науки, компьютерные науки
-
Анотація:
Для різних відношень логічного наслідку в чистих першопорядкових композиційно-номінативних логіках часткових і логіках неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення. При побудові використано спеціальні предикати, які визначають наявність значення для змінних. Для цих числень доведено теореми коректності й повноти
We construct special sequent calculi for various relations of pure first-order composition-nominative logics of partial and of logics of multi-valued quasiarypredicates. Special variable definedness predicates are used for the construction. For the proposed calculi soundness and completeness theorems are proved
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 