First-order logics with partial predicates for checking variable definedness

• Дата: 2025
• Автор: Shkilniak, S.S.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: PROBLEMS IN PROGRAMMING 2025
• Теми: logic; semantics; partial predicate; logical consequence; UDC 004.42:510.64
• Онлайн доступ: 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...