sequent w Słowniku włoskim Oxford-Paravia

Tłumaczenia dla hasła sequent w angielski»włoski słowniku

sequent [Brit ˈsiːkw(ə)nt, Am ˈsikwənt] PRZYM. rzad.

1. sequent (successive):

sequent

seguente

sequent

successivo

2. sequent (following):

sequent

conseguente

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

angielski

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