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