Pure first-order logics of quasiary predicates

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2018
• Issue: 2-3
• Pages: 73-86
• ISSN: 1727-4907
• Author Affiliations: M.S. Nikitchenko — Kiev Taras Shevchenko National University; О.S. Shkilniak — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University
• Keywords: логічний наслідок, логіка, логіко-семантичне представлення, секвенційне числення, предикація, логічна операція, логічний аналіз, предикатні семи, семантика, логічні міркування
• Main Authors: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: logic; predicate; semantics; logical consequence; sequent calculus; UDC 004.42:510.69
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/182
• Journal Title: Problems in programming

Pure first-order logics of partial and total, single-valued and multi-valued quasiary predicates are investigated. For these logics we describe semantic models and languages, giving special attention in our research to composition algebras of predicates and interpretation classes (sematics), and log...