Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності

• Дата: 2019
• Автор: Shkilniak, S.S.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2019
• Теми: logic; predicate; composition; equality; logical consequence; UDC 004.42:510.69; логика; композиция; предикат; равенство; логическое следствие; УДК 004.42:510.69; логіка; частковий предикат; композиційна алгебра; логічний наслідок
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/365
• Назва журналу: Problems in programming

Development of the new software-oriented logical formalisms is a topical problem. The paper introduces lo­gics of partial predicates with predicate complement and equality predicates, we denote them LCE. They ex­tend logics of quasiary predicates with equality and logics with predicate complement. T...