Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2020
• Випуск: 2-3
• Сторінки: 182-197
• 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 2020
• Теми: logic; partial predicate; logical consequence; sequent calculus; soundness; completeness; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/410
• Назва журналу: Problems in programming

We study new classes of program-oriented logical formalisms – pure first-order logics of quasiary predicates with extended renominations and a composition of predicate complement. For these logics, various logical consequence relations are specified and corresponding calculi of sequent type are cons...