First-order logics with partial predicates for checking variable definedness

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2025
• Heft: 4
• Сторінки: 23-33
• ISSN: 1727-4907
• Автори та афіліації: S.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: логічний наслідок, частковий предикат, логіка, семантика, логіко-семантичне представлення, семантичний, синтактико-семантичний та логічний аналіз, лексична семантика, граматична семантика, композиційно-номінативна логіка
• 1. Verfasser: Shkilniak, S.S.
• Format: Artikel
• Sprache: Ukrainisch
• 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...