Logics of general non-deterministic predicates: semantic aspects

• Date: 2018
• Main Authors: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: logic; algebra; composition; non-deterministic predicate; logical consequence; UDC 004.42:510.69
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/263
• Journal Title: 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...