Властивості відношень логічного наслідку в логіках квазіарних предикатів

Abstract

У статті досліджено відношення логічного наслідку для множин формул у чистих першопорядкових композиційно-номінативних логіках часткових однозначних, тотальних неоднозначних та часткових не- однозначних предикатів. Основна увага приділена вивченню властивостей відношень, пов’язаних з елімінацією кванторів. Для опису таких властивостей використано спеціальні предикати, які визначають наявність значення для змінних.

В статье исследованы отношения логического следствия для множеств формул в чистых первопорядковых композиционно-номинативных логиках частичных однозначных, тотальных неоднозначных и частичных неоднозначных предикатов. Основное внимание уделено изучению свойств отношений, связанных с элиминацией кванторов. Для описания таких свойств использованы специальные предикаты, опреде- ляющие наличие значений для переменных.

Logical consequence relation for sets of formulas is studied for pure first-order composition-nominative logics of partial single-valued, total and partial multiple-valued predicates. We focus on the properties of relations concerned with quantifier elimination. Special variable definedness predicates are used for description of such properties.