Logics of general non-deterministic predicates: semantic aspects

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2018
• Heft: 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
• Ключові слова: композиційна алгебра, логічний наслідок, логіка, композиційно-номінативна логіка, алгебра, композиція, алгебра функцій і предикатів, алгебраїчність, недетермінований предикат, алгебра лі
• Hauptverfasser: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
• Schlagworte: logic; algebra; composition; non-deterministic predicate; logical consequence; UDC 004.42:510.69
• Online Zugang: 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...