SEQUENT in Portuguese translation

• sequente
• sequentes

Examples of using Sequent in English and their translations into Portuguese

Similarly, in intuitionistic logic the sequent¬¬ A⊢ A{\displaystyle\neg\neg A\vdash A}
Similarmente, na lógica intuicionista é sequente¬¬ A⊢ A{\displaystyle\neg\neg A\vdash A}

is changed, such that any sequent of the form Γ,
tal que qualquer sequente da forma Γ,

the meaning of(the derivation of) a sequent is only given by the properties of the calculus that provides the actual rules of inference.
a semântica de(ou da derivação de) um sequente é dada apenas pelas propriedades do cálculo que dita as regras de inferência.

allowing Herbrand's theorem to be stated for sequents:"a Skolemized sequent is derivable iff it has a Herbrand sequent.
permitindo que o teorema de Herbrand seja enunciado para sequentes:"um sequente skolemizado é derivável sse ele é um sequente de Herbrand.

Structads are an approach to the semantics of logic that are based upon generalising the notion of sequent along the lines of Joyal's combinatorial species, allowing the treatment of more drastically nonstandard logics than those described above, where, for example, the',' of the sequent calculus is not associative.
Structads são uma abordagem às semânticas da lógica que são baseadas em generalizar a noção de sequente ao longo das linhas das"espécies combinatoriais" de Joyal, permitindo o tratamento de lógicas mais drasticamente fora do padrão do que as descritas acima, onde, por exemplo,',' do cálculo sequente não é associativo.

However, in a classical context the semantics of the sequent can also(by propositional tautology)
No entanto, no contexto da lógica clássica a semântica da subsequente também pode(por tautologia proposicional)

because we do care about the absence of propositions in a sequent, and the number of copies present.
nos preocupamos com a ausência de proposições em uma sequência, e o número de cópias presentes.

and that whenever a sequent is provable it can be given a cut-free proof.
que sempre que um sequente é provável, pode ser dado um prova livre de cortes.

noncommutative operators; this explanation concurs with the difficulty of designing sequent systems for pomset logic that have cut-elimination.
esta explicação está de acordo com a dificuldade de conceber sistemas de sequentes para lógica pomset que tenha a eliminação do corte.

After performing the kissing balloon technique with a Sequent 3 x 20 mm balloon that was inflated to 12 atm in the left anterior descending artery, and a Sequent 3 x 20 mm balloon that was inflated to 10 atm
Após a realização do kissing balloon com balão SeQuent 3 x 20 mm para a artéria descendente anterior, inflado a 12 atm, e balão SeQuent 3 x 20 mm dirigido ao ramo diagonal, inflado a 10 atm Figura 1 D, procedeu-se à dilatação

Sequent has seven individual effect blocks:
Sequent possui sete blocos de efeitos individuais:

This symmetrical relation between tableaux and sequent systems was formally established in Carnielli 1991.
Esta relação simétrica entre o tableaux e o cálculo de sequentes foi formalmente estabelecido por Carnielli 1991.

The concept of sustainable development is sub sequent to the concept of ecology.
O conceito de desenvolvimento sustentável é posterior ao de ecologia.

While in intuitionistic logic the sequent: formula_19is not derivable,
Enquanto a lógica intuicionista o sequente: formula_19Não é derivável,

Similarly, in intuitionistic logic the sequent: formula_21is not derivable,
Similarmente, na lógica intuicionista é sequente: formula_21Não é derivável,

Germany and SeQuent Please B. Braun Melsungen, Berlin, Germany balloons.
Alemanha e o SeQuent Please B. Braun Melsungen, Berlim, Alemanha.

there have been no sub sequent changes.
não houve alterações subsequentes.

proof of the absurd, or of the empty sequent, it should also have a proof of the absurd(or the empty sequent), without cuts.
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.

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

The general notion of sequent introduced here can be specialized in various ways.
A noção geral de um sequente, introduzida nesse artigo, pode ser especializada de diversas maneiras.