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