logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
L

Logic and Logical Philosophy

IF0.4
论文数21
被引数
期刊论文 21
发表时间
delete
A Completeness Theorem for a Functionally Complete Łukasiewicz Logic关于功能完备的Łukasiewicz逻辑的完备性定理
deleteLogic and Logical Philosophy
IF0.4
delete2026-04-01
delete0
PREAI
deleteAranda, Victor
delete分享
delete收藏
Revisiting Jaśkowski's Criterion重新审视Jaśkowski标准
deleteLogic and Logical Philosophy
IF0.4
delete2026-04-01
delete0
PREAI
deleteKrawczyk, Jakub
delete分享
delete收藏
Dynamic Logic for Ungrounded Payoffs无基支付的动态逻辑
deleteLogic and Logical Philosophy
IF0.4
delete2026-03-01
delete0
PREAI
deleteCresto, Eleonora
delete分享
delete收藏
Proof Theory for Intuitionistic Stable Theories直觉稳定理论的证明论
deleteLogic and Logical Philosophy
IF0.4
delete2026-03-01
delete0
PREAI
deleteMaffezioli, Paolo
delete分享
delete收藏
Relating Logics Meet Scientific Understanding: On Clustering and the Methodology of Logical Classification逻辑相关性与科学理解：论聚类及逻辑分类的方法论
deleteLogic and Logical Philosophy
IF0.4
delete2026-03-01
delete0
PREAI
deleteMartinez-Ordaz, Maria Del Rosario
delete分享
delete收藏
Lakatos's Methodology and its Application to Logic Research Programs: A Comparative Study拉卡托斯的方法论及其在逻辑研究纲领中的应用：一项比较研究
deleteLogic and Logical Philosophy
IF0.4
delete2026-03-01
delete0
PREAI
deleteMolick, Sanderson
delete分享
delete收藏
Two Semantics for Zalta's Object Theory扎尔塔对象理论的两种语义
deleteLogic and Logical Philosophy
IF0.4
delete2026-02-01
delete0
deleteOAAI
deleteUzar, Bartlomiej
delete分享
delete收藏
Swap Kripke Models for Deontic LFIs规范可能世界语义模型交换
deleteLogic and Logical Philosophy
IF0.4
delete2026-01-01
delete0
deleteOAAI
deleteVaz, Mahan; Coniglio, Marcelo E.
delete分享
delete收藏
Tautology Elimination, Cut Elimination and S4?归谬消除、截断消除和S4？
deleteLogic and Logical Philosophy
IF0.4
delete2025-12-01
delete0
deleteOAAI
deleteFjellstad, Andreas
delete分享
delete收藏
Fitch's Paradox in Fusions of Epistemic and Alethic Logics认知逻辑与真理论逻辑融合中的菲奇悖论
deleteLogic and Logical Philosophy
IF0.4
delete2025-12-01
delete0
deleteOAAI
deleteWojcik, Arkadiusz
delete分享
delete收藏
Hyperintensionality, Identity and Excluded Middle超严格性、同一性与排中律
deleteLogic and Logical Philosophy
IF0.4
delete2025-12-01
delete0
deleteOAAI
deleteChlebowski, Szymon
delete分享
delete收藏
Jaśkowski's Discovery and Various Ways to Master ContradictionsJaśkowski的发现和掌握矛盾的各种方法
deleteLogic and Logical Philosophy
IF0.4
delete2025-12-01
delete0
deleteOAAI
deleteFazio, Davide; Jarmuzek, Tomasz; Malinowski, Jacek; Mruczek-Nasieniewska, Krystyna
delete分享
delete收藏
In Defense of Quantifier Generalism: Holism and Infinitary Resources为量词通则主义辩护：整体论与无穷资源
deleteLogic and Logical Philosophy
IF0.4
delete2025-12-01
delete0
deleteOAAI
deleteBigaj, Tomasz
delete分享
delete收藏
Causal Connectivity, Genidentity and the Ontology of Point-Eventism因果连通性、Genidentity 与点事件主义的本体论
deleteLogic and Logical Philosophy
IF0.4
delete2025-12-01
delete0
deleteOAAI
deleteRazniak, Maciej
delete分享
delete收藏
The Notion of Temporal Logic and the Problem of Priority时序逻辑的概念与优先级问题
deleteLogic and Logical Philosophy
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteKarczewska, Anna Maria
delete分享
delete收藏
Doxastic Arrogance Paradox信念傲慢悖论
deleteLogic and Logical Philosophy
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteWisniewski, Andrzej
delete分享
delete收藏
Exploring Essential Occurrence探索基本发生
deleteLogic and Logical Philosophy
IF0.4
delete2025-11-01
delete0
deleteOAAI
deleteHumberstone, Lloyd
delete分享
delete收藏
Reaching Classicality through Transitive Closure通过传递闭包达到经典性
deleteLOGIC AND LOGICAL PHILOSOPHY
IF0
delete2025-10-01
delete0
deleteOAAI
deleteBlomet, Quentin; Da Re, Bruno
delete分享
delete收藏
Karl Schröter and His Interest in Polish Mathematical Logic. Based on Unpublished Archival Documents卡尔·施罗特及其对波兰数学逻辑的兴趣。基于未发表的档案文件
deleteLOGIC AND LOGICAL PHILOSOPHY
IF0
delete2025-09-01
delete0
deleteOAAI
deleteBesler, Gabriela; Porwolik, Marek
delete分享
delete收藏
Contradictions in Multiverse: Translation of Paraconsistent Logic daC into Many-Sorted Logic多元宇宙中的矛盾：Paraconsistent Logic daC 到多类逻辑的翻译
deleteLOGIC AND LOGICAL PHILOSOPHY
IF0
delete2025-09-01
delete0
deleteOAAI
deleteValdes-Toro, Julian M.
delete分享
delete收藏