|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i10. 学術雑誌論文等 >
i10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4989
|
| タイトル: | Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL |
| 著者: | Galatos, Nikolaos
Ono, Hiroakira |
| キーワード: | Substructural logic
pointed residuated lattice
algebraic semantics
parametrized local deduction theorem
interpolation |
| 発行日: | 2006-06 |
| 出版者: | Springer |
| 誌名: | Studia Logica |
| 巻: | 83 |
| 号: | 1-3 |
| 開始ページ: | 279 |
| 終了ページ: | 308 |
| DOI: | 10.1007/s11225-006-8305-5 |
| 抄録: | Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices. |
| Rights: | This is the author-created version of Springer, Nikolaos Galatos and Hiroakira Ono, Studia Logica, 83(1-3), 2006, 279-308. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/s11225-006-8305-5 |
| URI: | http://hdl.handle.net/10119/4989 |
| 資料タイプ: | author |
| 出現コレクション: | i10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| C9279.pdf | | 301Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
