Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів

• Дата: 2019
• Автор: Shkilniak, O.S.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2019
• Теми: logic; algebra; non-deterministic predicate; 7-valued predicate; UDC 004.42:510.69; логика; алгебра; недетерминированный предикат; 7-зна­чный предикат; УДК 004.42:510.69; логіка; недетермінований предикат; 7-значний предикат
• Онлайн доступ: 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...