Department of Computer Science, Heriot-Watt University, Riccarton, Edinburgh EH14 4AS, UK;
first-order logic; nominal techniques; substitution; α-conversion; meta-variables;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:从古典逻辑到模糊逻辑和量子逻辑:一般视图
机译:分子逻辑:从单逻辑门到复杂的逻辑电路,从基本科学到实际应用
机译:一阶半逻辑
机译:双互锁逻辑:针对单事件逻辑错误的辐射加固设计技术
机译:微流体逻辑门:压力驱动的两输入3D微流体逻辑门(Adv。Sci。2/2020)
机译:Peirce的符号分类:从“论科学逻辑”和“逻辑某些主题提纲”到Peirce对符号的分类:从“论科学逻辑”到“逻辑某些主题提纲”