Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
these derivations also emphasize the strictly formal structure of the sequent calculus.
essas derivações também enfatizam a estrutura estritamente formal do cálculo de sequentes.
thus, swapping left for right in a sequent corresponds to negating all of the constituent formulae.
assim, a troca foi para a direita em um sequentes corresponde a negar todas as fórmulas constituintes.
for systems formulated in the sequent calculus, analytic proofs are those proofs that do not use cut.
para sistemas formulados no cálculo de sequentes, provas analíticas são aquelas que não utilizam a regra do corte.
== variations ==the general notion of sequent introduced here can be specialized in various ways.
== variações ==a noção geral de um sequente, introduzida nesse artigo, pode ser especializada de diversas maneiras.
he made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus.
suas maiores contribuições foram dadas em fundamentos da matemática, teoria da prova, especialmente em dedução natural e cálculo de sequentes.
in general terms the draft is consistent with the decisions of last february's summit and with the sub sequent interinstitutional agreement.
o conselho, na generalidade, mostrou-se disposto a conformar-se com o que foi acordado no capítulo das despesas agrícolas e a proceder a cortes só de determinadas verbas.
if not, i very much fear that the consequences for the current budget and for sub sequent budgets will be considerable and the responsibility for this will lie with everybody.
de ou tra forma, receio muito que as repercussões sobre o orçamento em curso e sobre os seguintes sejam muito impor tantes e que a responsabilidade seja de todos.
== etymology ==historically, sequents have been introduced by gerhard gentzen in order to specify his famous sequent calculus.
== história ==historicamente, sequentes foram introduzidos por gerhard gentzen, com o objetivo de especificar o famoso cálculo de sequentes.
gentzen-style sequent calculi can be modified by removing the weakening rules that allow for the introduction of arbitrary formulae on the right or left side of the sequents.
o cálculo de sequentes de gentzen pode ser modificado através da remoção de regras enfraquecedoras que permitem uma introdução de fórmulas arbitrárias tanto à direita, quanto à esquerda dos sequentes.
our society has set itself specific demographic and social targets which focus on the elderly, handicapped children and the lack of financial independence for women, with the sub sequent feminization of poverty.
solicita igualmente o apoio do fundo social europeu para orientar a capacidade empresarial feminina para este novo sistema de cooperativas, potenciando a criação de consórcios, redes, e agências de economia social destinadas a prestar serviços de assessoria, formação e apoio organizativo e jurídico nesta área, bem como facilidades de acesso ao crédito e incentivos financeiros e fiscais.
the cut-elimination theorem states that (for a given system) any sequent provable using the rule cut can be proved without use of this rule.
o teorema da eliminação do corte diz que (para um dado sistema) qualquer sequente provável utilizando a regra do corte pode ser provado sem o uso desta regra.
==introduction==in proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties.
na teoria da prova e lógica matemática, o cálculo de sequentes é um grupo de sistemas formais que compartilham de um certo estilo de inferência e propriedades formais.