sequent u rečniku italijanskog jezika Oksford‒Paravia

Jednojezični primeri (nisu ih verifikovali PONS urednici)

engleski
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

Da li Vam nedostaje određeni izraz ili prevod?

Poziv za kompajliranje OD unosa

Pretražite rečnik

engleski

Potražite "sequent" u drugim jezicima


Strana na Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski
Pretražite rečnike
Najpopularnije