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