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