扩充修正程序相关论文
文献[4,5]为修正程序提出了一种包含经典否定的扩充,其关键特征在于能够区分“没有知识”和“具有否定的知识”,即区别“不知道”......
文献[4,5]为修正程序提出了一种包含经典否定的扩充,其关键特征在于能够区分“没有知识”和“具有否定的知识”，即区别“不知道”和......
