Pure first-order logics of quasiary predicates

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2018
• Випуск: 2-3
• Сторінки: 73-86
• ISSN: 1727-4907
• Автори та афіліації: M.S. Nikitchenko — Kiev Taras Shevchenko National University; О.S. Shkilniak — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: логічний наслідок, логіка, логіко-семантичне представлення, секвенційне числення, предикація, логічна операція, логічний аналіз, предикатні семи, семантика, логічні міркування
• Автори: Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2018
• Теми: logic; predicate; semantics; logical consequence; sequent calculus; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/182
• Назва журналу: 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 logical consequence relations for sets of formulas. For the defined relations a number of sequent type calculi is constructed; their characteristic features are extended conditions for sequent closure and original forms for quantifier elimination.Problems in programming 2016; 2-3: 73-86