WEKO3
アイテム
The conservativity problem between fragments of intermediate logics and its application
https://doi.org/10.15006/32665A5307
https://doi.org/10.15006/32665A530706f9025f-e8fd-46a7-93e8-8e4327f484a4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
論文の内容の要旨 (154.0 KB)
|
|
|
|
論文審査の結果の要旨 (18.8 KB)
|
|
|
|
論文 (1.1 MB)
|
|
| Item type | 学位論文 / Thesis or Dissertation(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-07-13 | |||||||
| タイトル | ||||||||
| タイトル | The conservativity problem between fragments of intermediate logics and its application | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 数理論理学 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 非古典論理 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 中間論理 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 代数的意味論 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | シークエント計算 | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | Mathematical logic | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | Non-classical logics | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | Intermediate logics | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | Algebraic semantics | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題Scheme | Other | |||||||
| 主題 | Sequent calculi | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_db06 | |||||||
| 資源タイプ | doctoral thesis | |||||||
| ID登録 | ||||||||
| ID登録 | 10.15006/32665A5307 | |||||||
| ID登録タイプ | JaLC | |||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
| その他（別言語等）のタイトル | ||||||||
| その他のタイトル | 中間命題論理の論理断片間の保存性問題とその応用 | |||||||
| 言語 | ja | |||||||
| 著者 |
横溝,恭平
× 横溝,恭平
|
|||||||
| 学位名 | ||||||||
| 言語 | ja | |||||||
| 学位名 | 博士（理学） | |||||||
| 学位授与機関 | ||||||||
| 学位授与機関識別子Scheme | kakenhi | |||||||
| 学位授与機関識別子 | 32665 | |||||||
| 言語 | ja | |||||||
| 学位授与機関名 | 日本大学 | |||||||
| 学位授与年月日 | ||||||||
| 学位授与年月日 | 2018-03-25 | |||||||
| 学位授与番号 | ||||||||
| 学位授与番号 | 甲第5307号 | |||||||
| 出版タイプ | ||||||||
| 出版タイプ | VoR | |||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||
