Pure first-order quasiary logics with equality predicates

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2018
• Heft: 2
• Сторінки: 3-23
• ISSN: 1727-4907
• Автори та афіліації: M.S. Nikitchenko — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: логічний наслідок, логіка, рівність, секвенційне числення, рівноправність, логічні міркування, предикативність, предикація, рівновага, то- чка рівноваги
• Hauptverfasser: Nikitchenko, M.S., Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2018
• Schlagworte: logic; predicate; equality; logical consequence; sequent calculus; UDC 004.42:510.69
• Online Zugang: 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...