标题 期刊作者 年号 期号
基于构造性思想的直觉主义逻辑证明语义 程华清 2020年 第二期
混合公开宣告逻辑 何键枫、王轶 2020年 第二期
哥德尔不完全性定理的推广形式及其哲学影响 赵晓玉 2020年 第一期
任意性和全称概括规则 朱薇 2020年 第一期
不可或缺性论证与整体论 高坤 2020年 第一期
贵州丹寨“八寨苗”祭祀中的说理研究 吴小花,麦劲恒,鞠实儿 2020年 第一期
Cultural Manifest Knowledge Contributing to Deep Disagreement Zhixi Chen Jiangeng Ning 2023年 第三期
Logics for Modally Real and Modally Nonreal Events Xian Zhao Tianqun Pan 2023年 第三期
A Labelled Sequent Calculus for Public Announcement Logic Hao Wu         Hans van Ditmarsch          Jinsheng Chen 2023年 第三期
Herbrand Expansions and Extraction of Proofs from Diagrams Matthias Baaz      Norbert Preining 2023年 第三期
Kreisel–Lévy-­type Theorems for Set Theories Michael Rathjen        Shuangshuang Shu 2023年 第三期
Kreisel's "shift of emphasis'' and contemporary proof mining Ulrich Kohlenbach 2023年 第三期
强可能性与弱必然性的逻辑 陈佳 2020年 第一期
实在论视角下的大基数 寇亮 2023年 第二期
维特根斯坦对基本命题的看法的修正 马怿恺 2023年 第二期
通向实数的第三条路——《算术的基本规律》中的实数理论 石伟军 2023年 第二期
论辩文本立场检测——基于提示模型的小样本研究 鲜于波  黄伟鑫 2023年 第二期
条件句的组合性 霍书全 2023年 第二期
渐进式论证、连锁型滑坡论证和连锁悖论的概率分析 邢锟 2023年 第二期
语言隐喻的认知博弈论语用学分析 徐慈华  严小姗 2023年 第二期
广义论证的理论与方法 鞠实儿 2020年 第一期
关于心灵、机器与真理的模态论证 薄谋 2023年 第一期
真之多元论与真值条件多元论 周振忠 2023年 第一期
直觉主义认知逻辑与不同程度的真 程华清 2023年 第一期
事件–状态语义学: 一个关于英语时体时态句的形式语义 张文彦  周北海  2023年 第一期
显示 151 - 175 共 250