English » Arabic

sequent ADJ (ial)

sequent N

Monolingual examples (not verified by PONS Editors)

English
In the sequent calculus version, this is manifestly true because there is no rule that can have as a conclusion!
en.wikipedia.org
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

Look up "sequent" in other languages


Choose your language Deutsch | English | Español | Français | Italiano | Polski