标题 期刊作者 年号 期号
Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations Fei Liang, Zhiguang Zhao 2023年 第六期
唯识比量与佛学论证 曾昭式 2019年 第一期
因三相辩证 郭桥 2019年 第一期
《名理探》中对逻辑作为一门科学的讨论 江璐 2019年 第一期
论集合论的模型 李娜、何建锋 2019年 第一期
因明与连珠体比较研究 王克喜 2019年 第一期
经典决策论的规范性问题及其回应 宋子明 2023年 第五期
周延理论难题及其解决方案 张燕京 李邢睿 2023年 第五期
论证型式的规范性 田洁 晋荣东  2023年 第五期
基于人工智能的多AGENT协同辩证逻辑推理方法 黄海 桂起权 2023年 第五期
非正规模态逻辑C2的时态扩张 涂保勋 2023年 第五期
康德论逻辑的本性 韩林合 2023年 第五期
包含广义量词的关系三段论 周家发 2019年 第一期
Culture Merging: A Logic Based Method Xiaoxin Jing 2020年 第六期
Reconstructive Deductivism and Its Misapplication Ting Xie 2020年 第六期
On Dimensions, Standard Part Maps, and p-Adically Closed Fields Ningyuan Yao 2020年 第六期
Privacy in Arrow Update Logic Yanjun Li 2020年 第六期
A New Way of Defining Deductive Consequence for Modal and Predicate Logic Xuefeng Wen 2020年 第六期
Comparing Fixed-Point and Revision Theories of Truth from the Perspective of Paradoxicality Qiqing Lin 2020年 第六期
真谓词的不可定义性问题的根源 周志荣 2020年 第五期
费奇悖论的混合时态认知逻辑分析 张玉志 2020年 第五期
亚里士多德规范格言论证探析 梁润成 2020年 第五期
集合论多宇宙观与形式主义 裘江杰 2020年 第五期
《可能世界的名字》述评 闫佳亮 2020年 第五期
关于强制外延的抽象论辩系统修正规则 徐康 廖备水 2020年 第五期
显示 101 - 125 共 250