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 | Journal Article(1) | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2010-07-14 | |||||||||||
タイトル | ||||||||||||
タイトル | A Cut-Free Sequential System for the Propositional Modal Logic of Finite Chains | |||||||||||
言語 | en | |||||||||||
言語 | ||||||||||||
言語 | eng | |||||||||||
資源タイプ | ||||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||
資源タイプ | journal article | |||||||||||
アクセス権 | ||||||||||||
アクセス権 | open access | |||||||||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||||||
著者 |
西村, 泰一
× 西村, 泰一
WEKO
123
|
|||||||||||
書誌情報 |
en : Publications of the Research Institute for Mathematical Sciences 巻 19, 号 1, p. 305-316, 発行日 1983 |
|||||||||||
ISSN | ||||||||||||
収録物識別子タイプ | PISSN | |||||||||||
収録物識別子 | 0034-5318 | |||||||||||
NCID | ||||||||||||
収録物識別子タイプ | NCID | |||||||||||
収録物識別子 | AA00796798 | |||||||||||
出版タイプ | ||||||||||||
出版タイプ | VoR | |||||||||||
出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||
出版者 | ||||||||||||
出版者 | 京都大学数理解析研究所 | |||||||||||
言語 | ja |