UDC 004.42:510.69 15 УДК 004.42:510.69 15 logic 12 логічний наслідок 12 logical consequence 11 логика 11 логіка 11 логическое следствие 10 предикат 7 predicate 6 5 partial predicate 5 секвенційне числення 5 частковий предикат 5 semantics 4 УДК 004.42 4 секвенциальное исчисление 4 семантика 4 UDC 004.42 3 algebra 3 equality 3 sequent calculus 3 алгебра 3 равенство 3 частичный предикат 3 composition 2 non-deterministic predicate 2 композиция 2 композиційна алгебра 2 недетерминированный предикат 2