First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

• Date: 2023
• Main Authors: Shkilniak, О.S., Shkilniak, S.S.
• Format: Article
• Language: Ukrainian
• Published: PROBLEMS IN PROGRAMMING 2023
• Subjects: logic; partial predicate; equality; logical consequence; sequent calculus; soundness; completeness; UDC 510.64
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/502
• Journal Title: Problems in programming

The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renomi- nations and predicates of strong equality and of weak equality.Prombles in programming 2022; 3-4: 11-22