|
JAIST Repository >
先端融合領域研究院 2007～2016 >
z4-10. 学術雑誌論文等 >
z4-10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8555
|
| タイトル: | Algebraic characterizations of variable separation properties |
| 著者: | KIHARA, Hitoshi
ONO, Hiroakira |
| 発行日: | 2008 |
| 出版者: | Jagiellonian University Press |
| 誌名: | Reports on Mathematical Logic |
| 巻: | 43 |
| 開始ページ: | 43 |
| 終了ページ: | 63 |
| 抄録: | This paper gives algebraic characterizations of Hallden completeness (HC), and of Maksimova's variable separation property (MVP) and its deductive form. Though algebraic characterizations of these properties have been already studied for modal and superintuitionistic logics, e.g. in Wroński [12], Maksimova [7], [9], a deeper analysis of these properties and non-trivial modifications of these results are needed to extend them to those for substructural logics, because of the lack of some structural rules in them. The first attempt in this direction was made in the dissertation [4] of the first author. Results of this paper are partly announced (sometimes in their weaker form) also in Chapter 5 of the book [2]. |
| Rights: | Copyright (C) 2008 Jagiellonian University Press. Hitoshi KIHARA and Hiroakira ONO, Reports on Mathematical Logic, 43, 2008, 43-63. |
| URI: | http://hdl.handle.net/10119/8555 |
| 資料タイプ: | publisher |
| 出現コレクション: | z4-10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 13164.pdf | | 192Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
