Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2019
• Heft: 1
• Сторінки: 14-26
• ISSN: 1727-4907
• Автори та афіліації: O.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: недетермінований предикат, алгебра, 7-значний предикат, алгебра функцій і предикатів, недиспозиційний предикат, алгебраїчність, логіка, п’ятизначний предикат, нечітка логіка, предикація
• 1. Verfasser: Shkilniak, O.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2019
• Schlagworte: logic; algebra; non-deterministic predicate; 7-valued predicate; UDC 004.42:510.69
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/345
• Назва журналу: Problems in programming

In this paper we study new classes of program-oriented logical formalisms – logics of general non-deter­ministic (GND) predicates. These logics reflect such properties of programs as nondeterminism, partiality, and non-fixed arity. GND-predicates can be modeled as 7-valued total deterministic (TD7...