sequent en el Diccionario Oxford Paravia de italiano

Traducciones de sequent en el diccionario inglés»italiano

sequent [ingl. brit. ˈsiːkw(ə)nt, ingl. am. ˈsikwənt] ADJ. raro

1. sequent (successive):

sequent

seguente

sequent

successivo

2. sequent (following):

sequent

conseguente

Ejemplos monolingües (no verificados por la redacción de PONS)

inglés

For instance, in a sequent calculus where cut elimination holds, the "cut" rule is admissible.

en.wikipedia.org

Thus, swapping left for right in a sequent corresponds to negating all of the constituent formulae.

en.wikipedia.org

In the sequent calculus version, this is manifestly true because there is no rule that can have as a conclusion!

en.wikipedia.org