КОМПОЗИЦІЙНІ ЛОГІКИ НОМІНАТИВНИХ ДАНИХ

Abstract

Пропонуються логіки, орієнтовані на специфікації програм. Логіки будуються в\ud семантико-синтаксичному стилі на основі композиційно-номінативного підходу. Пер-\ud ша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над не-\ud скінченними іменними множинами, вона зберігає основні властивості класичної логі-\ud ки предикатів. Друга логіка (над скінченними номінативними даними) є конкретиза-\ud цією першої, на її основі визначається клас багатозначних натурально (абстрактно)\ud обчислюваних функцій над номінативними даними