equality logical consequence 4 логічний наслідок 4 UDC 004.42:510.69 3 logic 3 predicate 3 УДК 004.42:510.69 3 логическое следствие 3 логіка 3 предикат 3 равенство 3 рівність 3 sequent calculus 2 логика 2 секвенційне числення 2 частковий предикат 2 UDC 510.64 1 completeness 1 composition 1 free-quantifier logic 1 partial predicate 1 renomination 1 soundness 1 superposition 1 Ключевые слова: бескванторная логика 1 УДК 510.64 1 безкванторна логіка 1 композиция 1 композиційна алгебра 1 коректність 1