直観論理における質問と依存性【JST・京大機械翻訳】

Ciardelli Ivano; Iemhoff Rosalie; Yang Fan

プレプリント

J-GLOBAL ID：202202214468676073 整理番号：22P0040433

直観論理における質問と依存性【JST・京大機械翻訳】

Questions and dependency in intuitionistic logic

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

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

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

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

近年,質問と依存性の論理は,直感的論理と依存性論理の密接に関連したフレームワークにおいて研究されている。これらの研究は,ステートメントの背景論理として古典的論理を想定し,この古典的コアに対する質問と依存性を表現する公式を加えた。本論文では,直観的論理の文脈における質問と依存性を研究することにより,これらの研究の範囲を広げた。直観的チーム意味論を提案し,そこでは,チームを直観的Kripkeモデル内に埋め込む。関連する論理は,質問と依存式による直観的論理の保守的拡張である。正規形式結果,完全性結果,および古典的要求論理とモード依存性論理への翻訳を含む,この論理に関する多くの結果を確立した。【JST・京大機械翻訳】

, , , , ,
, , 【Automatic Indexing@JST】

論理代数 , 人工知能

, ,

前のページに戻る