First-order composition-nominative logics with predicates of weak equality and of strong equality

• Datum: 2019
• 1. Verfasser: Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2019
• Schlagworte: logic; predicate; composition; equality; logical consequence; UDC 004.42:510.69
• Online Zugang: 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...