SEQUENT IN SPANISH TRANSLATION

• subsiguiente
• consecuente
• sequent
• secuencial
• una secuencia
• secuente
• consecutivas

Examples of using Sequent in English and their translations into Spanish

All has gone now, in sequent waves.
Todo ha pasado ya, en sucesivo oleaje.

Those compounds containing hydrogen will be reviewed in a sub- sequent report.
Los productos que contienen hidrógeno(como el clorodifluorometano) se considerarán en un informe ulterior.

wrote:"Thus a sequent is an argument-frame containing a set of assumptions
escribió:"Así, un consecuente es un argumento marco que contiene un conjunto de suposiciones

A sequent is understood to mean that if all of the antecedent conditions are true,
Se entiende que un consecuente significa que si todas las condiciones antecedentes son verdaderas, entonces al menos

The term"sequent" then has been created in search for an alternative translation of the German expression.
El término Sequent, por lo tanto, se creó como una traducción alternativa de la expresión alemana.

This is a valid sequent because either B∧ A is false
Este es un consecuente válido porque B∧ A es falso

Similarly, a sequent of the form' α, β⊢',
Del mismo modo, un consecuente con la forma'α, β⊢',

The general notion of sequent introduced here can be specialized in various ways.
La noción general de un consecuente, introducida en este artículo, puede ser especializada en diversas formas.

In 1934, Gentzen did not define the assertion symbol'⊢' in a sequent to signify provability.
En 1934, Gentzen no definió el símbolo de aserción'⊢'en un consecuente para significar probabilidad.

Not all authors have adhered to Gentzen's original meaning for the word"sequent.
No todos los autores se adhirieron al significado original de Gentzen para la palabra"consecuente.

In the extreme case where the list of antecedent formulas of a sequent is empty,
En el caso extremo donde la lista de fórmulas antecedentes de un consecuente está vacía,

This is a valid sequent because either B∨ A is true
Esta es una secuencia válida ya sea

A sequent of the form'⊢ α,
Una secuencia de la forma'α, β',

This style of conditional assertion is almost always associated with the conceptual framework of sequent calculus.
Este estilo de aserción condicional está casi siempre asociado con el marco conceptual del cálculo de consecuentes.

the meaning of(the derivation of) a sequent is only given by the properties of the calculus that provides the actual rules of inference.
la semántica de(o derivación de) un subsiguiente se da solo por las propiedades del cálculo que determina las reglas de inferencia.

translation into English:"Gentzen says'Sequenz', which we translate as'sequent', because we have already used'sequence' for any succession of objects, where the German is'Folge.
que se traduce como'secuent'(consecuente), porque se ha usado'secuencia' para cualquier sucesión de objetos, donde el alemán es'Folge.

In sequent calculi this property can be captured by an inference rule called weakening,
En el cálculo secuencial esta propiedad puede ser captada por una regla de inferencia llamada debilitamiento,

a style of formal logical argumentation where every line of a proof is a conditional tautology(called a sequent by Gerhard Gentzen)
un estilo de argumentación lógica formal donde cada línea de la demostración es una tautología condicional(llamada secuente por Gerhard Gentzen)

In Olympus there are generally four sequent flora zones, but not clearly separated: In the altitude between 300
En el monte Olimpo generalmente hay cuatro zonas de flora consecutivas, pero no claramente separadas:

The full set of sequent calculus inference rules contains rules to swap adjacent formulas on the left
El conjunto completo de reglas de inferencia de cálculo secuencial contiene reglas para intercambiar fórmulas adyacentes a la izquierda