退出
我的积分:
中文文献批量获取
外文文献批量获取
杨小飞; 辛小龙;
西安外事学院商学院;
西北大学数学学院;
逻辑; 语义系统; 剩余结构; 拓扑; 格序群;
机译:Monadic BL代数:Hajek的Monadic模糊逻辑的等效代数语义
机译:分类抽象代数逻辑:参照代数语义
机译:具有局部有限代数语义的命题多值逻辑的Lindenbaum代数的自同构群
机译:逻辑语义和认知保证:对逻辑后果进行信息说明。
机译:模糊逻辑代数及其应用
机译:谓词逻辑的代数语义及其完整性(非经典逻辑及其Kripke语义)
机译:计算科学:Box代数的区间逻辑语义。
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。