机译:逻辑与计算学报的非经典逻辑角
State University of Campinas;
Dresden University of Technology;
机译:在古典高阶逻辑中组合和自动化古典和非古典逻辑
机译:基于钴羟基氧化物纳米蛋白的分子自组装系统的布尔逻辑树,用于活细胞和体内焦磷酸盐的三态逻辑计算,感应和成像
机译:第25次研讨会逻辑,语言,信息和计算(Wollic 2018)由象征性逻辑Bogotá,哥伦比亚2018年7月24日至27日协会共同赞助
机译:关于可解除碎片,非古典逻辑和描述逻辑之间的关系
机译:灵活,自然演绎的自动推理机,可快速部署非经典逻辑
机译:具有破坏对称的电路在生物网络中执行核心逻辑计算
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:谓词/过渡网络s不变量的自动解释:非经典逻辑的应用