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