Propositional logics of partial predicates with composition of predicate complement

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2019
• Heft: 1
• Сторінки: 03-13
• ISSN: 1727-4907
• Автори та афіліації: M.S. Nikitchenko — Kiev Taras Shevchenko National University; O.S. Shkilniak — Kiev Taras Shevchenko National University; S.S. Shkilniak — Kiev Taras Shevchenko National University; T.A. Mamedov — Kiev Taras Shevchenko National University — ORCID: 0000-0003-3029-5834
• Ключові слова: логічний наслідок, секвенційне числення, логіка, секвенції, логіко-семантичне представлення, логічна операція, предикація, композиційно-номінативна логіка, логічна згортка, логічні міркування
• Hauptverfasser: Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2019
• Schlagworte: logic; partial predicate; logical consequence; sequent сalculus; UDC 004.42:510.69
• Online Zugang: 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...