Побудова секвенційних числень логік квазіарних предикатів першого порядку

• Опубліковано в: : Искусственный интеллект
• Дата: 2013
• Автор: Шкільняк, С.С.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Теми: Концептуальные проблемы создания систем искусственного интеллекта
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/85231
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Побудова секвенційних числень логік квазіарних предикатів першого порядку / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 4. — С. 62–73. — Бібліогр.: 9 назв. — укр.

Досліджено першопорядкові композиційно-номінативні логіки квазіарних предикатів. Для різних відно- шень логічного наслідку в чистих першопорядкових логіках часткових однозначних, тотальних неодно- значних і часткових неоднозначних предикатів побудовано спеціальні секвенційні числення. Для таких ч...