Relations of logical consequence in logics of partial predicates with composition of predicate complement

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2019
• Випуск: 3
• Сторінки: 11-27
• ISSN: 1727-4907
• Автори та афіліації: O.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: логічний наслідок, композиційно-номінативна логіка, логіка, частковий предикат, композиційна алгебра, багатозначна логіка, логічна операція, алгебра функцій і предикатів, логічна згортка, логічний аналіз
• Автор: Shkilniak, O.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2019
• Теми: logic; partial predicate; composition al­gebra; logical consequence; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/364
• Назва журналу: Problems in programming

In this paper we study software-oriented logics of partial predicates with new special non-monotonic operation (composition) of the predicate complement. We denote these logics by LC and composition of the predicate complement by . Such operations are used in various versions of the Floyd-Hoare prog...