标题 期刊作者 年号 期号
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年 第四期
Connectivity of Discourse Connectives and Its Role for Generalized Argumentation Yang Hu 2020年 第三期
Lyu Cheng’s Thoughts on Hetuvidyā and Buddhist Argumentation Xiankun Zeng 2020年 第三期
Logicality and the Logicism of Frege Arithmetic and Simple Type Theory Weijun Shi 2020年 第三期
Some Results on Rewritability in Modal Logics over Tree Models Shanshan Du 2020年 第三期
A Logic that Captures βP on Ordered Structures Kexu Wang          Xishun Zhao 2023年 第三期
Truth-makers for Universal Statements Difei Xu 2020年 第三期
本土社会价值如何融入人工智能论辩系统 余喆 2023年 第四期
显示 101 - 125 共 235