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