11/01/29 00:10:10
>>229
代数的論理学は入門書どころか
基本的文献が1冊しかないのでは？
代数的方法による論理学の新たな展開
URLﾘﾝｸ(kaken.nii.ac.jp)
>代表者 2005年度～2007年度 小野 寛晰
代数的視点からの論理へのアプローチ (小野寛晰)
URLﾘﾝｸ(www.jaist.ac.jp)
>また、部分構造論理に対する代数的研究におけるこれまでの成果を共著としてまとめ、
>この春に"Residuated Lattices: an algebraic glimpse at substructural logics"として出版する。
>ここではこのような研究のことを、従来のabstract algebraic logicよりは
>広い意味に解釈して代数的論理学とよぶことにする。
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
URLﾘﾝｸ(www.amazon.co.jp)