Ієрархія композиційно-номінативних логік

• Date: 2004
• Main Authors: Нікітченко, М.С., Шкільняк, С.С.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2004
• Subjects: Теоретичні та методологічні основи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/1354
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Ієрархія композиційно-номінативних логік/ М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування. — 2004. — N 4. — С. 3-16. — Бібліогр.: 25 назв. — укр.

Запропонована ієрархія композиційно-номінативних логік. Такі логіки будуються в семантико-синтаксичному стилі на основі композиційно номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду та обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних областей запропоновані логіки квазіарних предикатів та логіки номіна тивних даних, стосовно інтенсійного аспекту — композиційно-номінативні модальні логіки. Предложена иерархия композиционно-номинативных логик. Такие логики строятся в семантико-синтаксическом стиле на основе композиционно-номи¬нативного подхода. Место логики в иерархии определяется уровнем абстракции рассмотрения и ограничениями класса предикатов. Относительно экстенсио-нального аспекта предметных областей предложены логики квазиарных предикатов и логики номинативных данных, относительно ин-тенсионального аспекта — композиционно-номинативные модальные логики. The hierarchy of composition nominative logics is proposed. Such logics are built in a semantic-syntactic style on a basis of composition nominative approach. The place of a logic in this hierarchy is determined by its abstraction level and by restrictions on classes of its predicates. Concerning extensional aspects of subject domains, the logics of quasiary predicates and logics over nominative data are proposed. Intensional aspects are represented by composition nominative modal logics.