|
-
Ключові слова:
квантори, кванторы, quantors ; мови програмування, языки программирования, computer program language ; неокласичні логіки, неоклассические логики ; системне програмування, системное программирование
-
Анотація:
Вивчаються чисті першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Описано мови та досліджено семантичні властивості таких логік. Розглянуто різні формалізаціївідношення логічного наслідку та досліджено їх властивості в різних семантиках.
Pure first-order composition-nominative logics of partial single-valued, total multi-valued, and partial multi-valued quasiary predicates are investigated. Languages of suchlogics are defined and their semantic properties are studied. Various formalizations of logical consequence relation are defined and their properties in different semantics are investigated.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 