理想信息流逻辑的树图系统

摘要

依据巴维斯的信息通道理论,巴维斯、盖贝和哈特纳斯构造出表征完美信息流推理的信息流逻辑,但他们的信息流逻辑对信息通道理论中的相关直觉原则和信息通道之间的复合运算并没有充分体现,不能解释逻辑推理.针对巴维斯信息流逻辑的不足并根据信息流推理的特点,可以构造出表征完美信息流推理的理想信息流逻辑的树图系统并可证明它们的可靠性和完全性.