中文会议: 2000年逻辑研究专辑
作 者: ;
机构地区: 华南师范大学南海校区学院政法系
摘 要: <正>本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节1把通常的直觉主义命题逻辑的克里普克关系语义推广为T- 框架语义,为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。节2具体处理直觉主义命题演算和古典命题演算的内涵特征,从而得到古典命题演算相对于直觉主义命题逻辑的克里普克关系语义的内涵特征。
分 类 号: [B812]
领 域: [哲学宗教]