sequent im Oxford-Paravia Italian Dictionary

Übersetzungen für sequent im Englisch»Italienisch-Wörterbuch

sequent [Brit ˈsiːkw(ə)nt, Am ˈsikwənt] ADJ selten

1. sequent (successive):

sequent

seguente

sequent

successivo

2. sequent (following):

sequent

conseguente

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

Englisch

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