|
|
|
小野研究室
[ 日本語 / English ]
|
Residuated Lattices: an algebraic glimpse at substructural logics, (Studies in Logic and the Foundations of Mathematics, vol. 151), Elsevier, 2007
Algebraic and Topological Methods in Non-Classical Logics III (August 2007)
International Conference on Order, Algebra and Logics (June 2007)
| 住所: |
〒923-1292 石川県能美市旭台１丁目１番地 北陸先端科学技術大学院大学情報科学研究科 小野研究室 |
| 電話番号: |
0761-51-[以下の４桁](直通) 0761-51-1699-[以下の４桁](内線) |