Секвенційні числення першопорядкових логік однозначних квазіарних предикатів
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут програмних систем НАН України
Анотація
На основі властивостей відношень логічного наслідку для першопорядкових композиційно-номінатив-них логік однозначних квазіарних предикатів кванторного рівня побудовано числення секвенційного типу. Такі числення пропонуються для логік еквітонних предикатів та для загального випадку логік од-нозначних квазіарних предикатів. Для побудованих числень доведено теореми коректності та повноти.
Опис
Теми
Теоретичні та методологічні основи програмування
Цитування
Секвенційні числення першопорядкових логік однозначних квазіарних предикатів / С.С. Шкільняк // Пробл. програмув. — 2012. — № 1. — С. 34-51. — Бібліогр.: 7 назв. — укр.