University of Illinois at Urbana-Champaign.;
机译:软盘逻辑作为标准布尔逻辑的概括
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:递归阈值逻辑 - 带有横杆阵列的BioinSpired可重新配置动态逻辑系统
机译:单稳态双稳态转换逻辑元素:阈值逻辑与布尔逻辑比较
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:基于多价逻辑的计算设备兰德克原理的概括
机译:中智逻辑 - 直觉模糊逻辑的推广
机译:多数逻辑和阈值逻辑 - 可能的用途