Propositional logics of partial predicates with composition of predicate complement

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

The paper studies new software-oriented logical formalisms – the logics of partial predicates with predicate complement. Such logics are denoted LC. A characteristic feature of these logics is the presence of a special non-monotonic operation (composition) of the predicate complement. Such operation...