Запропоновано та досліджено програмно-орієнтовані п'ятизначні логіки двох рівнів: пропозиційну п'ятизначну логіку та логіку п'ятизначних квазіарних предикатів. Такі логіки природним чином виникають під час розгляду систем, у тому числі програмних систем, які обробляють різні типи невизначеностей і помилок. Побудовано алгебри п'ятизначних функцій і предикатів. Описано семантичні властивості таких алгебр та відповідних п'ятизначних логік.

• Нікітченко Микола Степанович (фізико-математичні науки)
• Шишацька Олена Володимирівна (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"