古典逻辑论文

古典命题逻辑与模态命题逻辑
论文摘要模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。现代逻辑的研究大体上有两个目的:一是解决数学推理及理论体系建立中的逻辑问题,即给出数学的逻辑基础;另一是以一般的推...