sequent calculi
(idiomatic) A trial or practice before the real attempt.
The state or act of being a tenant. / The body of tenants on an estate.
plural of sequent calculus
(transitive) To shade, cloud, or darken. / (transitive) To block light or radio transmission from. / (espionage) To secretly or discreetly track or follow another, to keep under surveillance.
異なる論理体系を形式化するために、いくつかのシーケント計算系が提案されてきた。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★