Logical consequence relations in logics of quasiary predicates

• Опубліковано в: PROBLEMS IN PROGRAMMING
• Дата: 2018
• Випуск: 1
• Сторінки: 29-43
• ISSN: 1727-4907
• Автори та афіліації: O.S. Shkilniak — Kiev Taras Shevchenko National University
• Ключові слова: логічний наслідок, логіка, семантика, предикація, семантичний, частковий предикат, логіко-семантичне представлення, предикативність, предикатні семи, синтактико-семантичний та логічний аналіз
• Автор: Shkilniak, O.S.
• Формат: Стаття
• Мова: Українська
• Опубліковано: PROBLEMS IN PROGRAMMING 2018
• Теми: logic; predicate; semantics; logical consequence; UDC 004.42:510.69
• Онлайн доступ: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/166
• Назва журналу: Problems in programming

Logical consequence is one of the most fundamental concepts in logic. A wide use of partial (sometimes many-valued as well) mappings in programming makes important the investigation of logics of partial and many-valued predicates and logical consequence relations for them. Such relations are a seman...