sequent calculi
(idiomatic) A trial or practice before the real attempt.
(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.
The state or act of being a tenant. / The body of tenants on an estate.
plural of sequent calculus
異なる論理体系を形式化するために、いくつかのシーケント計算系が提案されてきた。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★