First-order logics with partial predicates for checking variable definedness

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2025
• Випуск: 4
• Сторінки: 23-33
• ISSN: 1727-4907
• Автори та афіліації: S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: логічний наслідок, частковий предикат, логіка, семантика, логіко-семантичне представлення, семантичний, синтактико-семантичний та логічний аналіз, лексична семантика, граматична семантика, композиційно-номінативна логіка
• Автор: Shkilniak, S.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: 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...