Semantic properties of five-valued logics

• Дата: 2018
• Автори: Nikitchenko, M.S., Shyshatska, E.V.
• Формат: Стаття
• Мова: rus
• Опубліковано: Інститут програмних систем НАН України 2018
• Теми: program system; five-valued function; five-valued predicate; algebra; logic; UDC 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...