Повнота секвенційних числень модальних логік немонотонних часткових предикатів
Для чистих першопорядкових композиційно-номінативних модальних логік часткових немонотонних предикатів побудовано числення секвенційного типу. Описано різновиди цих числень, для них вказано базові секвенційні форми та умови замкненості секвенцій, доведено їх коректність і повноту. Доведення теореми...
Gespeichert in:
| Veröffentlicht in: | Штучний інтелект |
|---|---|
| Datum: | 2016 |
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
Інститут проблем штучного інтелекту МОН України та НАН України
2016
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/132074 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Повнота секвенційних числень модальних логік немонотонних часткових предикатів / О.С. Шкільняк, В.С. Касьянюк, Л.М. Малютенко // Штучний інтелект. — 2016. — № 3. — С. 92-102. — Бібліогр.: 7 назв. — укр. |