First-order logics with partial predicates for checking variable definedness

• Datum: 2025
• 1. Verfasser: Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2025
• Schlagworte: logic; semantics; partial predicate; logical consequence; UDC 004.42:510.64
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/671
• Назва журналу: Problems in programming

We study semantic properties of new classes of program-oriented logics of partial quasiary predicates without monotonicity restriction. A feature of these logics is the use of special 0-ary parametric compositions – partial predicates which checks whether a subject name (variable) has a value in a g...