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