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

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2025
• Heft: 4
• Сторінки: 36-48
• ISSN: 1727-4907
• Автори та афіліації: S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: композиційно-номінативна логіка, логічний наслідок, логіко-семантичне представлення, квазіарний предикат, композиційно-номінативні мови, логіка, частковий предикат, багатозначна логіка, predicativity, generalized derivative
• 1. Verfasser: Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2025
• Schlagworte: UDC 004.42:510.69
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/824
• Назва журналу: 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...