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