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