Семантичні властивості п’ятизначних логік

• Дата: 2018
• Автори: Nikitchenko, M.S., Shyshatska, E.V.
• Формат: Стаття
• Мова: rus
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: program system; five-valued function; five-valued predicate; algebra; logic; UDC 004.42:510.69; программная система; пятизначная функция; пятизначный предикат; алгебра; логика; УДК 004.42:510.69; програмна система; п’ятизначна функція; п’ятизначний предикат; логіка
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/230
• Назва журналу: Problems in programming

A new class of program-oriented logical formalisms – propositional five-valued logics and five-valued logics of quasiary predicates is proposed and studied in the article. The quasiarity of predicates means that their arity is not fixed. A special feature of such five-valued logics is the use of spe...