「sequent」の共起表現一覧(1語右で並び替え)
該当件数 : 15件
| hat are based upon generalising the notion of | sequent along the lines of Joyal's combinatorial spec |
| Sequent calculus | |
| It works with variants of the | sequent calculus and natural deduction. |
| explicitly of some | sequent calculus or implicitly by "tagging" inference |
| l proof theory that breaks with the classical | sequent calculus by generalising the notion of struct |
| In the | sequent calculus, the rule of cut is admissible. |
| Gentzen's | sequent calculus, which is the most studied formalism |
| m proving in propositional logic, such as the | sequent calculus, the cutting-plane method, resolutio |
| t have structural complexity greater than the | sequent calculus, but not unboundedly so, although th |
| Versions exist for the Cray X-MP, Y-MP, 2; | Sequent, Encore Alliant, DEC VAX-11/784, dataflow arc |
| The empty | sequent, having both cedents empty, is defined to be |
| The | sequent layers consist of fortifications built by the |
| the natural deduction formulas into a sort of | sequent) so that Metamath's requirements are met. |
| Series 300, Multimax, NeXT, PA-RISC, RS/6000, | Sequent Symmetry, SGI IRIS, Sun-3, Sun-4 and others. |
| tion concurs with the difficulty of designing | sequent systems for pomset logic that have cut-elimin |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
