WEKO3
アイテム
A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains
http://hdl.handle.net/2241/105814
http://hdl.handle.net/2241/1058147ff40dc4-af60-474b-9832-5ed6a9b11762
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
RIMS_19-1.pdf (892.2 kB)
|
|
| Item type | アイテムタイプJ(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-07-14 | |||||||
| タイトル | ||||||||
| タイトル | A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| 資源タイプ | ||||||||
| 資源タイプ | journal article | |||||||
| 著者 |
NISHIMURA Hirokazu
× NISHIMURA Hirokazu
|
|||||||
| 著者情報 | ||||||||
| 所属・氏名 | 数理物質系; 西村, 泰一; ニシムラ, ヒロカズ; NISHIMURA, Hirokazu | |||||||
| 研究者総覧URL | http://trios.tsukuba.ac.jp/researcher/0000000478 | |||||||
| 書誌情報 |
en : Publications of the Research Institute for Mathematical Sciences 巻 19, 号 1, p. 305-316, 発行日 1983 |
|||||||
| PISSN | ||||||||
| 収録物識別子 | 0034-5318 | |||||||
| NCID | ||||||||
| 収録物識別子 | AA00796798 | |||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| 出版者 | ||||||||
| 出版者 | 京都大学数理解析研究所 | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
