Властивості відношень логічного наслідку в логіках квазіарних предикатів

• Veröffentlicht in: Искусственный интеллект
• Datum: 2013
• 1. Verfasser: Шкільняк, С.С.
• Format: Artikel
• Sprache: Ukrainian
• Veröffentlicht: Інститут проблем штучного інтелекту МОН України та НАН України 2013
• Schlagworte: Алгоритмическое и программное обеспечение параллельных вычислительных интеллектуальных систем
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/85208
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Властивості відношень логічного наслідку в логіках квазіарних предикатів / С.С. Шкільняк // Искусственный интеллект. — 2013. — № 1. — С. 67–78. — Бібліогр.: 7 назв. — укр.

У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не- однозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних з елімінацією...