フィッチスタイルの様相論理の左随伴としてのデュアルコンテキスト様相論理

Kakutani Yoshihiko; Murase Yuito; Nishiwaki Yuichi

文献

J-GLOBAL ID：201902265853527423 整理番号：19A1696382

フィッチスタイルの様相論理の左随伴としてのデュアルコンテキスト様相論理

Dual-context Modal Logic as Left Adjoint of Fitch-style Modal Logic

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=19A1696382&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A1696382&from=J-GLOBAL&jstjournalNo=U0109A") }}

著者 (3件)： , ,
資料名：
巻： 27 ページ： 77-86(J-STAGE) 発行年： 2019年
JST資料番号： U0109A ISSN： 1882-6652 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：日本 (JPN) 言語：英語 (EN)

直観論的な様相論理に関する一連の研究の中で,主に3種類の自然演繹システムを見つけることができる。論理的な側面について,公理スキーマを追加することは,システムを構築するためのシンプルで一般的な方法である。しかし,カリーハワード対応は,論理とコンピューターサイエンスの間のつながりを与えてくれる。プログラミング言語の観点から,デュアルコンテキストシステムとフィッチスタイルシステムと呼ばれる,さらに2つの重要なシステムが提案されている。S4のデュアルコンテキストシステムは段階的計算の分野で頻繁に使用されていまるが,Kのデュアルコンテキストシステムも最近研究されている。著者等のこれまでの研究では,フィッチスタイルの様相論理のカテゴリセマンティクスを提案し,レベルの有用性が注目されている。本論文は,デュアルコンテキストシステムのボックスモダリティが,実際にはフィッチスタイルのシステムの左随伴であるという興味深い事実を観察した。これを示すために,洗練されたレベルの2つのシステムの両方を,先験的付加となる付随計算に埋め込んだ。さらに,極性を使用して付加を洗練し,随伴計算を分極論理に拡張した。(翻訳著者抄録)

, , , , , ,
, , , , , , ,

著者キーワード (4件)： , , ,

応用プログラミング言語 , 計算理論 , 計算機システム開発

引用文献 (20件)：

[1] Barber, A. and Plotkin, G.D.: Dual Intuitionistic Linear Logic, Technical Report, LFCS, University of Edinburgh (1996).
[2] Bellin, G., de Paiva, V. and Ritter, E.: Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic, Proc. Methods for Modalities (M4M) (2001).
[3] Benton, P.N.: A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (extended abstract), Proc. Computer Science Logic (CSL), pp.121-135 (online), DOI: 10.1007/BFb0022251 (1994).
[4] Benton, P.N. and Wadler, P.: Linear Logic, Monads and the Lambda Calculus, Proc. Logic in Computer Science (LICS), pp.420-431 (online), DOI: 10.1109/LICS.1996.561458 (1996).
[5] Bierman, G.M. and de Paiva, V.: On an Intuitionistic Modal Logic, Studia Logica, Vol.65, No.3, pp.383-416 (online), DOI: 10.1023/A:1005291931660 (2000).

, , ,

前のページに戻る