sequent В речника Oxford-Paravia италиански

Преводи за sequent в английски»италиански речника

sequent [Brit ˈsiːkw(ə)nt, Am ˈsikwənt] ПРИЛ rare

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