Logics of quasiary predicates of quantifier-equational level

• Date: 2015
• Main Authors: Nikitchenko, M.S., Shkilniak, S.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2015
• Subjects: Composition-nominative logics
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/104
• Journal Title: Problems in programming

First-order composition-nominative logics of partial single-valued, total multiple valued and partial multiple-valued quasiary predicates of quantifierequational level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the relations of logical c...