|
-
Ключові слова:
логіка предикатів, логика предикатов, predicate logic ; неокласичні логіки, неоклассические логики ; секвенціальні обчислення, секвенциальные исчисления
-
Анотація:
Для чистих першопорядкових композиційно-номінативних логік однозначних часткових предикатів побудовано секвенційні числення. Семантичною основою такої побудови є властивості відношення логічного наслідку для множин формул. Для цих числень доведено теореми коректності та повноти.
Sequent calculi for pure first-order composition-nominative logics of single-valued partial predicates are constructed. Such calculi are semantically based on properties of logical consequence relation for sets of formulas. The soundness and completeness theorems for these calculi are proved.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 