退出
我的积分:
中文文献批量获取
外文文献批量获取
罗翊重;
云南省社会科学院<云南社会科学>编辑部,云南,昆明,650034;
真与假; 在者存在; 蕴涵模态; 感性直观; 本质直观; 逻辑真理;
机译:奎因的逻辑真理的替代定义以及洛伯伯特 - 伯纳德定理的逻辑事实的哲学意义
机译:正交模态量子逻辑蕴涵的比较-量子逻辑的形态学分析
机译:正交模态量子逻辑中蕴涵耦合器的强度-量子逻辑的形态学分析
机译:事实,除了真理之外:欺骗检测的多模阶分析
机译:数学归纳,命题函数和蕴涵函数之间的关系。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:prime暗示和主要蕴涵:从命题到模态逻辑
机译:正态模态命题逻辑的后续计算
机译:命题模态逻辑定理证明装置
机译:建立和共享一个或多个语言的智慧基本真理和/或事实和事实的词汇的自己的WYDOM BYTES数据库的交互系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。