Semantic properties of five-valued logics

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2018
• Issue: 1
• Pages: 22-35
• ISSN: 1727-4907
• Author Affiliations: M.S. Nikitchenko — Kiev Taras Shevchenko National University; E.V. Shyshatska — Kiev Taras Shevchenko National University — ORCID: 0000-0001-8791-8989
• Main Authors: Nikitchenko, M.S., Shyshatska, E.V.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: program system; five-valued function; five-valued predicate; algebra; logic; UDC 004.42:510.69
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/230
• Journal Title: 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...