序演算相关硕士博士期刊学术论文

序演算可以保留很多语言学的信息，可以更自然的刻画日常交流中的推理，因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等......