机译:BI-simulating in BI-intuitionistic logic
Bi-intuitionistic logic; Van Benthem's characterization theorem; Directed bisimulations; Model theory;
机译:BI-simulating in BI-intuitionistic logic
机译:双直觉线性逻辑的证明网
机译:双直觉逻辑的自然推论
机译:(模态)双直觉逻辑的Hennessy-Milner属性
机译:双互锁逻辑:针对单事件逻辑错误的辐射加固设计技术
机译:微流体逻辑门:压力驱动的两输入3D微流体逻辑门(Adv。Sci。2/2020)
机译:双直觉稳定时态逻辑的强完备性和有限模型性质