sequent в итальянском словаре Oxford-Paravia

Переводы sequent в словаре английский»итальянский

sequent [брит. ˈsiːkw(ə)nt, америк. ˈsikwənt] ПРИЛ. редко

1. sequent (successive):

sequent

seguente

sequent

successivo

2. sequent (following):

sequent

conseguente

Одноязычные примеры (не проверены редакцией PONS)

английский

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