四值过渡语句演算

摘要：

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

关键词：过渡现象、多值逻辑、过渡联结词、语义、语形、过渡定理、系统特征、区间邻接

所属期刊栏目：35

分类号：O141.1;B819;TP3-0(数理逻辑、数学基础)

资助基金：国家自然科学基金61170322

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

页数：共10页

页码：14-23