标题 期刊作者 年号 期号
论证型式的规范性 田洁 晋荣东  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年 第五期
基于证据的怀疑 桂海斌 2020年 第五期
紧致性与拉姆塞定理 杨跃 2020年 第四期
模态版中文屋论证研究 冯书怡 2020年 第四期
结构主义是一种有效的数学哲学吗？ 杨睿之 2020年 第四期
一个关于有穷开放过程的类型论系统 梁晓龙 鞠实儿 2020年 第四期
反映原理作为大基数内在辩护的不可行性 寇亮 2020年 第四期
张家龙先生学术访谈 杜国平 2020年 第四期
实际上可知的反事实条件句 苏庆辉 2020年 第四期
显示 101 - 125 共 242