inglés » árabe

sequent ADJ. (ial)

sequent SUST.

sequent ADJ.

sequent

Ejemplos monolingües (no verificados por la redacción de PONS)

inglés
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

Consultar el diccionario

inglés

Consultar "sequent" en otros idiomas


Página en Deutsch | English | Español | Français | Italiano | Polski
Consultar los diccionarios
Los más populares