G3i計算のG4iアナログ【JST・京大機械翻訳】

Iemhoff Rosalie

プレプリント

J-GLOBAL ID：202202207696255782 整理番号：22P0212158

G3i計算のG4iアナログ【JST・京大機械翻訳】

The G4i analogue of a G3i calculus

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2020年11月20日プレプリントサーバーでの情報更新日： 2020年11月20日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

本論文は,大規模な直観的モード論理のために,分析的計算を終了する方法を提供した。G3ipの拡張であるカットフリー計算Gを有する与えられた論理Lに対して,この方法は,G4ipの拡張であり,Gに等価である用語解析計算を生成する。G4ipは,直観論理命題論理のための計算G3ipの終結アナログとして1992年にDyckhoffによって導入されている。したがって,本論文は,直観的モード論理に対するDyckhoffの仕事の拡張として見ることができる。【JST・京大機械翻訳】

, , ,
, 【Automatic Indexing@JST】

論理代数 , 計算機システム開発

前のページに戻る