Логіки квазіарних предикатів кванторно-екваційного рівня
Завантаження...
Дата
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут програмних систем НАН України
Анотація
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості відношень логічного наслідку для множин формул, Х–Y-означених відношень логічного наслідку. На цій основі для логік однозначних квазіарних предикатів кванторно-екваційного рівня побудовано числення секвенційного типу.
Опис
Теми
Теоретичні та методологічні основи програмування
Цитування
Логіки квазіарних предикатів кванторно-екваційного рівня / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2012. — № 4. — С. 19-34. — Бібліогр.: 10 назв. — укр.