机译:非分配逻辑的算法对应关系和Cononicity
Univ Witwatersrand Sch Math Johannesburg South Africa;
Delft Univ Technol Delft Netherlands;
Modal logic; Substructural logics; Sahlqvist correspondence; Algorithmic correspondence; Canonicity; Non-distributive lattices;
机译:非分配逻辑的算法对应关系和Cononicity
机译:非分配逻辑的规范扩展和Kripke-Galois语义
机译:用于可能性语义的算法对应关系和Cononicity
机译:子结构分类逻辑的算法对应理论
机译:纵向数据的规范相关和对应分析。
机译:使用激光模拟器 - 模糊逻辑算法和传感器融合的智能车辆和城市的自主道路轨道检测和导航系统
机译:非分配逻辑的算法对应关系和Cononicity
机译:用变分过渡态理论求解简支键裂变的正则速率和微正则速率常数的对应关系