Чисті першопорядкові квазіaрні логіки з предикатами рівності

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

Logics of quasiary predicates are program-oriented logics which aim to reflect such program properties as partiality, non-determinism, and non-fixed arity. In the paper, program-oriented logical formalisms – pure first-order logics of partial deterministic and non-deterministic predicates – are stud...