Повнота секвенційних числень модальних логік немонотонних часткових предикатів

• Published in: Штучний інтелект
• Date: 2016
• Main Authors: Шкільняк, О.С., Касьянюк, В.С., Малютенко, Л.М.
• Format: Article
• Language: Ukrainian
• Published: Інститут проблем штучного інтелекту МОН України та НАН України 2016
• Subjects: Теорія та засоби обчислювального інтелекту
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/132074
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр.

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