Логіки із квазіарними та n-арними предикатами: семантичні та синтаксичні аспекти

Abstract

Запропоновано новий клас програмно-орієнтованих логічних формалізмів – чисті першопорядкові логіки із квазіарними та n-арними предикатами. Вони є синтезом класичних першопорядкових логік та композиційно-номінативних логік квазіарних предикатів. Описано мови і наведено се манти- чні властивості пропонованих логік. Для формалізації відношень неспростовнісного, істиннісного, хибнісного та сильного логічного наслідку побудовано низку числень секвенційного типу.

A new class of program-oriented logics is proposed – pure first-order logics with quasiary and n-ary predicates. They integrate classical first-order logics and composition-nominative logics of quasiary predicates. Logics languages are described and their semantic properties are formulated. Sequent calculi are built for irrefutability, truth, falsity, and strong consequence relations.