Special relations of logical consequence in logics of quasi-ary predicates

• Published in: PROBLEMS IN PROGRAMMING
• Date: 2025
• Issue: 4
• Pages: 36-48
• ISSN: 1727-4907
• Author Affiliations: S.S. Shkilniak — Kiev Taras Shevchenko National University
• Keywords: композиційно-номінативна логіка, логічний наслідок, логіко-семантичне представлення, квазіарний предикат, композиційно-номінативні мови, логіка, частковий предикат, багатозначна логіка, predicativity, generalized derivative
• Main Author: Shkilniak, S.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2025
• Subjects: UDC 004.42:510.69
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/824
• Journal Title: Problems in programming

We introduce and study X–Y-valued relations of logical consequence for first-order composition-nominative logics of partial single-valued, total multiple-valued and partial multiple-valued predicates. A number of properties of the defined relations is obtained, particularly the properties of quantif...