sequent nel dizionario italiano Oxford-Paravia

Esempi monolingue (non verificati dalla Redazione di PONS)

inglese
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

Vuoi aggiungere una parola, una frase o una traduzione?

Inserisci una nuova voce.

Cerca nel dizionario

inglese

Cerca "sequent" in altre lingue


Pagina in Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Cerca nei dizionari
I più amati