sequent dans le dictionnaire italien Oxford-Paravia

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

anglais
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

Voulez-vous ajouter des mots, des phrases ou des traductions ?

Proposez de créer une nouvelle entrée pour un mot.

Consulter "sequent" dans d'autres langues


Page en Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski