Секвенційні числення логік безкванторно-функціональних рівнів
Для безкванторно-функціональних логік та їх різновидів зі слабкою рівністю та строгою рівністю побудовано числення секвенційного типу. Такі числення формалізують відношення неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку. Для цих числень доведено теореми коректності й повн...
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/132088 |
| 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. — № 4. — С. 50-62. — Бібліогр.: 5 назв. — укр. |