标题 期刊作者 年号 期号
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年 第一期
关于指示条件句的会话假设 荣立武 2023年 第一期
逻辑常项的使用规则的生成与证成 周志荣 2023年 第一期
佛教逻辑学的论辩解释与认知解释——陈那、法称与因明 汤铭钧 2021年 第一期
真之多元论的混合合取难题 周振忠 2021年 第一期
模态逻辑的集合论语义与互模拟不变性 史璟 2021年 第一期
关于不可化归的多态式量词句的 CCG 探析 邹崇理   石运宝 2021年 第一期
弱逻辑 F 的矢列演算 陈钰 2021年 第一期
《鬼谷子》的“阴阳”思想与“说谋”论证 廖晨 2021年 第一期
显示 151 - 175 共 242