Наукова електронна бібліотека
періодичних видань НАН України
періодичних видань НАН України
Логіки квазіарних предикатів кванторно-екваційного рівня
Репозиторій DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Логіки квазіарних предикатів кванторно-екваційного рівня
Тема:
Теоретичні та методологічні основи програмування
УДК:
004.42:510.69
Посилання:
Логіки квазіарних предикатів кванторно-екваційного рівня / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2012. — № 4. — С. 19-34. — Бібліогр.: 10 назв. — укр.
Дата:
2012
Переглядів:
840
Завантажень:
945
Анотація:
Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості відношень логічного наслідку для множин формул, Х–Y-означених відношень логічного наслідку. На цій основі для логік однозначних квазіарних предикатів кванторно-екваційного рівня побудовано числення секвенційного типу.
