|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i10. 学術雑誌論文等 >
i10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/4987
|
| タイトル: | Closure operators and complete embeddings of residuated lattices |
| 著者: | Ono, Hiroakira |
| キーワード: | substructural logics
residuated lattices
complete embeddings
completeness |
| 発行日: | 2003-08 |
| 出版者: | Springer |
| 誌名: | Studia Logica |
| 巻: | 74 |
| 号: | 3 |
| 開始ページ: | 427 |
| 終了ページ: | 440 |
| DOI: | 10.1023/A:1025171301247 |
| 抄録: | In this paper, a theorem on the existence of complete embedding of partially ordered monoids into complete residuated lattices is shown. From this, many interesting results on residuated lattices and substructural logics follows, including various types of completeness theorems of substructural logics. |
| Rights: | This is the author-created version of Springer, Hiroakira Ono, Studia Logica, 74(3), 2003, 427-440. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1023/A:1025171301247 |
| URI: | http://hdl.handle.net/10119/4987 |
| 資料タイプ: | author |
| 出現コレクション: | i10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| C2200.pdf | | 134Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
