Logics of general non-deterministic predicates: semantic aspects

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2018
• Випуск: 2-3
• Сторінки: 31-45
• ISSN: 1727-4907
• Автори та афіліації: M.S. Nikitchenko — Kiev Taras Shevchenko National University; О.S. Shkilniak — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: композиційна алгебра, логічний наслідок, логіка, композиційно-номінативна логіка, алгебра, композиція, алгебра функцій і предикатів, алгебраїчність, недетермінований предикат, алгебра лі
• Автори: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2018
• Теми: logic; algebra; composition; non-deterministic predicate; logical consequence; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/263
• Назва журналу: Problems in programming

Semantic aspects of a new class of program-oriented logical formalisms – logics of general non-deterministic quasiary predicates (GND-predicates) – are considered. Сlasses of GND-predicates are singled out, their compositions and algebras are investigated. The language of pure first-order logics of...