古典命题演算的直觉主义语义分析

摘要：

@@本文相对于直觉主义命题逻辑的克里普克关系语义给出古典命题演算的内涵特征。节l把通常的直觉主义命题逻辑的克里普克关系语义推广为T—框架语义，为建立直觉主义命题演算的扩充系统的内涵特征提供一个一般性的构架。

机标关键词：命题演算、直觉主义、语义分析、内涵特征、命题逻辑、克里普克、关系语义、扩充系统、框架语义、构架

所属期刊栏目：16

分类号：B81(逻辑学(论理学))

在线出版日期：2006-09-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3-6,13