构造性逻辑相关论文
理解自然语言的过程就是构造语义解释模型的过程．本文用构造性逻辑作为模型增长理论，给出了增量式构造语义解释模型的方法......
构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否......
