DC/P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具.它采用Gentzen风格相继式演算作为基本证明系统,并结合项......

引入了一种基于邻域值信息表的邻域逻辑，它是用邻域拓扑内点和邻域拓扑闭包作为逻辑算子的一种逻辑。其内点和闭包是先经二元关系定......