SEQUENTE in English translation

• sequent

Examples of using Sequente in Portuguese and their translations into English

A regra de absorção pode ser expressa como a sequente: P→ Q⊢ P→( P∧ Q){\displaystyle P\toQ\vdashP\to(P\land Q)} onde⊢{\displaystyle\vdash}
The absorption rule may be expressed as a sequent: P→ Q⊢ P→( P∧ Q){\displaystyle P\to Q\vdash P\to(P\land Q)}

A natureza encontra-se purificada pelos efeitos sequentes.
Nature finds itself scoured by the sequent effects.

Php: Perda de energia em um salto hidráulico baseado em profundidades sequentes.
Php: Energy loss in a hydraulic jump based on sequent depths.

Assim, a troca foi para a direita em um sequentes corresponde a negar todas as fórmulas constituintes.
Thus, swapping left for right in a sequent corresponds to negating all of the constituent formulae.

temos que restringir os sequentes com exatamente uma fórmula no lado direito
one has to restrict to sequents with exactly one formula on the right-hand side,

A partir de então, Martha Julia, trabalhou em sequentes telenovelas como Las vías del amor em 2002,
She acted in the soap operas"Las Vias Del Amor"(2002) and"Luciana y Nicolás"(2003),

cite todos os autores na primeira citação; nas citações sequentes, apenas o primeiro autor
cite all the authors in the first citation; in the following citations, only the first author

permitirá futuras intervenções de professores durante as aulas de português a partir de atividades que envolvam as quatro fases sequentes propostas por cosson(2006):
will allow future interventions of teachers during the portuguese lessons from activities involving the four phases sequent proposed by cosson(2006):

O teorema da eliminação do corte diz que qualquer derivação que possui uma prova no cálculo de sequentes que utiliza a regra do corte também possui uma prova que não a utiliza.
The cut-elimination theorem states that any judgement that possesses a proof in the sequent calculus that makes use of the cut rule also possesses a cut-free proof, that is, a proof that does not make use of the cut rule.

Sistema de Hilbert Dedução natural Cálculo de sequentes Cada um desses pode retornar uma formalização completa
The Hilbert calculi The natural deduction calculi The sequent calculi Each of these can give a complete

então por completude de cálculo de sequentes, que segue a partir do teorema da eliminação de corte de Gentzen, existe uma prova livre de corte de formula_12.
then by completeness of cut-free sequent calculus, which follows from Gentzen's cut-elimination theorem, there is a cut-free proof of formula_13.

De este modo, o médico pode mais apropriadamente trabalhar o ajuste fino para compatibilizar a prática de dois artigos sequentes do Código de Ética Médica de 2010, com o caput é vedado ao médico:
Thus, the physician is able to make more adequate adaptations in order to match the practice of two sequential articles of the Code of Medical Ethics from 2010,

Do seu vencimento base no período sub sequente.
Of his basic salary thereafter.

O sequente vazio, tendo ambos os cedentes vazios,
The empty sequent, having both cedents empty,

O sequente vazio, tendo ambos os cedentes vazios, está definido para ser falso.
Thus the empty sequent, having both cedents empty, is false.

implicando que qualquer sequente passível de prova pode ser dado com uma prova livre de corte.
eliminated from a proof, implying that any provable sequent can be given a cut-free proof.

o ato de adicionar fórmulas a qualquer um dos lados resulta em um sequente mais fraco, enquanto o ato de remover fórmulas de qualquer um dos lados resulta em um sequente mais forte.
adding formulas to either side results in a weaker sequent, while removing them from either side gives a stronger one.

ele possui uma prova do absurdo, ou do sequente vazio, ele também deve ter uma prova do absurdo(ou do sequente vazio) sem cortes.
proof of the absurd, or of the empty sequent, it should also have a proof of the absurd(or the empty sequent), without cuts.

a notação sequente para( A e B) implica C. Aqui nós estamos tomando os LDE Σ para ser uma simples proposição C( que é o intuicionista estilo de sequente); mas tudo o que se aplica igualmente ao caso geral, uma vez que todas as manipulações
implies C. Here we are taking the RHS Σ to be a single proposition C(which is the intuitionistic style of sequent); but everything applies equally to the general case,

Um sequente no formato formula_5 é tido
A sequent of this form, with Γ empty,