论文部分内容阅读
文中将建立一种涉及过渡现象的四值语句演算,以致能从逻辑角度刻画状态及状态之间的转变过程。我们采用区间邻接描述了过渡,论证了引入过渡词的必要性,且直观解释了过渡词真值的含义,这里的着重点是对过渡的内涵的分析。我们建立了四值语句演算的形式系统LT4,侧重讨论联结词的赋值和该系统的特征,并证明了过渡定理和LT4的可靠性和完备性。