逻辑中的表列方法

《逻辑中的表列方法》中命题逻辑的KE系统在模态逻辑中发展为模态表列系统KEM，后者在多模态非单调逻辑表列部分又有应用。另一方面，在《表列方法手册》出版后的10多年间，表列方法的研究出现了许多新的成果，《逻辑中的表列方法》对其中关于非单调逻辑表列的一些研究做了介绍。同时，为适应更多读者的需要，《逻辑中的表列方法》所做的叙述力求简明易读。基于这些考虑，仍然有其自身的意义。

网友对逻辑中的表列方法的评论

喜欢逻辑中的表列方法请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务