古典命题演算的直觉主义语义分析
本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节l把通常的直觉主义命题逻辑的克里普克关系语义推广为T—框架语义,为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。
作 者: 熊明 作者单位: 华南师范大学政法系,广东 广州 510631 刊 名: 自然辩证法研究 PKU CSSCI 英文刊名: STUDIES IN DIALECTICS OF NATURE 年,卷(期): 2000 16(z1) 分类号: B81 关键词:推荐文档列表