四值过渡语句演算

• 作者: 洪龙
• 来源期刊: 南京邮电大学学报（自然科学版）
• 学科: 哲学
• 关键词: 过渡现象 多值逻辑 过渡联结词 语义 语形 过渡定理 系统特征 区间邻接
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 约稿
• 页码范围: 14-23
• 页数: 10页
• 分类号: O141.1|B819|TP3-0
• 字数: 8993字
• 语种: 中文
• DOI: 10.14132/j.cnki.1673-5439.2015.06.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	洪龙	南京邮电大学计算机学院	36	368	9.0	18.0