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