模型刻画公式论文

中间逻辑中的范式研究
论文摘要中间逻辑是强弱介于经典逻辑与直觉主义逻辑之间的一大类命题逻辑。近年来，这些逻辑在计算机科学领域中受到极大的重视。而范式在逻辑及其相关领域中起着很重要的作用，特别是对于自...