退出
我的积分:
中文文献批量获取
外文文献批量获取
霍书全;
安徽大学哲学系;
多值逻辑; 完全性; 极大一致集;
机译:部分K值逻辑函数中准完备集之最小覆盖的一些结果
机译:代数模态逻辑的强完备性
机译:共同信念弱逻辑的强完备性定理
机译:公理系统的三值逻辑的可判定性准则
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:用于Dirichlet值和其他L函数的超几何生成函数
机译:关于功能完全三值逻辑的Słupecki公理系统
机译:解释逻辑的算术完备性证明
机译:确定逻辑函数的完全性的设备
机译:三值逻辑函数电路和多值逻辑函数电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。