退出
我的积分:
中文文献批量获取
外文文献批量获取
汪堂家;
复旦大学哲学系;
主-谓项逻辑学; 泛逻辑主义; 定义理论; 命题理论;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:维特根斯坦对“逻辑城市”概念化的影响-从“逻辑哲学理论”写作罗西的“蓝记”开始的“逻辑城市”理论。
机译:逻辑模糊与逻辑模糊的理论:逻辑学家可以从哲学家那里学习吗?
机译:布尔逻辑导数对命题逻辑理论的保守回缩:理论基础
机译:维特根斯坦(Wittgenstein)对“逻辑逻辑哲学”(Tractatus Logico-Philosophicus)中数字的逻辑主义定义的批评。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:外观的真理和逻辑的逻辑:莱布尼兹和“普华浦哲学”(IV部分,艺术,艺术。204-6)的“富普·阿维克拉莱森的福尔维克拉莱迪森的普罗士致敬”
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:在LSI逻辑设计中修改逻辑表达的方法和装置,以及在LSI逻辑设计中修改逻辑表达程序的记录介质
机译:时间逻辑表达创建支持系统,时间逻辑表达创建支持方式以及用于时间逻辑表达创建支持的程序
机译:可编程逻辑元件的逻辑块,可编程逻辑元件和定义可编程逻辑元件的功能的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。