sequent no Oxford-Paravia Italian Dictionary

Exemplos unilingues (não verificados pela redação)

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

Desejar acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos uma nova entrada.

Consulte o dicionário

inglês

Consultar "sequent" em mais línguas


Página em Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Consulte os dicionários
Os mais populares