逻辑中的表列方法
《逻辑中的表列方法》中命题逻辑的KE系统在模态逻辑中发展为模态表列系统KEM，后者在多模态非单调逻辑表列部分
| 商家名称 |
信用等级 |
购买信息 |
订购本书 |
|
|
 |
逻辑中的表列方法 |
 |
|
|
逻辑中的表列方法 |
|
《逻辑中的表列方法》中命题逻辑的KE系统在模态逻辑中发展为模态表列系统KEM，后者在多模态非单调逻辑表列部分又有应用。另一方面，在《表列方法手册》出版后的10多年间，表列方法的研究出现了许多新的成果，《逻辑中的表列方法》对其中关于非单调逻辑表列的一些研究做了介绍。同时，为适应更多读者的需要，《逻辑中的表列方法》所做的叙述力求简明易读。基于这些考虑，仍然有其自身的意义。
网友对逻辑中的表列方法的评论
喜欢逻辑中的表列方法请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务
