sequent in the Oxford-Paravia Italian Dictionary

Monolingual examples (not verified by PONS Editors)

English
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

Would you like to add some words, phrases or translations?

Submit a new entry.

Browse the dictionary

English

Look up "sequent" in other languages


Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Browse the dictionaries
Most popular