Секвенційні числення логік безкванторно-функціональних рівнів

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

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