Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic

Toyooka, Masanobu; Sano, Katsuhiko

2022, 62-66

Permalink : https://hdl.handle.net/2115/84808

このアイテムのアクセス数:411件（2026-11-06 17:32 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
Proceedings_of_SOCREAL2022_p62- pdf 252 KB 365

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権
open access
URI
https://hdl.handle.net/2115/84808
タイトル
Craig Interpolation for a Sequent Calculus for Combining Intuitionistic and Classical Propositional Logic
著者
著者名
Toyooka, Masanobu
e-Rad_Researcher
20456809
著者名
Sano, Katsuhiko
言語
英語
発行日
2022
ページ
62-66
記述
6th International Workshop On Philosophy and Logic of Social Reality. 28 February – 1 March, 2022, On-Line
会議記述
会議名
International Workshop on Philosophy and Logic of Social Reality (SOCREAL) 2022
回次
6
主催機関
Hokkaido University
開催期間
28 February – 1 March, 2022
開催会場
Online
開催国
Japan
資源タイプ
会議発表論文
出版タイプ
Version of Record