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

Notre Dame Journal of Formal Logic

IF0.5
论文数21
被引数
期刊论文 21
发表时间
delete
On Nondefinability of Interior-Connectedness via the Contact Relation通过接触关系证明内部连通性的不可定义性
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteGruszczynski, Rafal; Menchon, Paula
delete分享
delete收藏
Two Uncountable Coloring Results on Semigroups关于半群的两种不可数着色结果
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteZhang, Teng
delete分享
delete收藏
Epistemic Counterpossibilism认知反可能性论
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteSalerno, Joseph
delete分享
delete收藏
Varieties of Modal Algebras Without the Congruence Extension Property模代数在无同余扩展性质下的多样性
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteGyenis, Zalan; Molnar, Zalan
delete分享
delete收藏
Model Theory of Homogeneous D-Sets齐次D-集的模型理论
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteEstrada, Felipe; Goodrick, John
delete分享
delete收藏
Boolean Completeness of Infinitary Logic with Arbitrary Signatures任意符号表的无限逻辑的布尔完备性
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteAguilera, Juan P.
delete分享
delete收藏
Reductions of Well-Ordering Principles to Combinatorial Theorems将良序原理归约为组合定理
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteCarlucci, Lorenzo; Mainardi, Leonardo; Zdanowski, Konrad
delete分享
delete收藏
Paraconsistent Models of Zermelo-Fraenkel Set TheoryParaconsistent Models of Zermelo-Fraenkel Set Theory 答：相容性模型下的策梅洛-弗兰克尔集合论
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteFigallo-Orellano, Aldo; Slagter, Juan Sebastian
delete分享
delete收藏
Local O-Minimality and Prime Models局部O-极小性与素模型
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteKomine, Wataru; Tsuboi, Akito
delete分享
delete收藏
Well-Behaved Truth良好行为真值
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteField, Hartry
delete分享
delete收藏
Simple Tableaus for Simple Intuitionistic Logics简单直觉主义逻辑的简单表格
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteFitting, Melvin
delete分享
delete收藏
Zorn's Lemma, Reverse Mathematics, and Applications in Combinatorics佐恩引理、反推数学及其在组合数学中的应用
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteShore, Richard A.
delete分享
delete收藏
Axioms for Commutative Unital Rings Elementarily Equivalent to Restricted Products of Connected Rings交换幺环与连通环的受限积初等等价的公理
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteDerakhshan, Jamshid; Macintyre, Angus
delete分享
delete收藏
Stationary Tower Forcing and Universally Baire Sets不动塔力迫与普适性巴埃尔集
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteTanno, Toshimasa
delete分享
delete收藏
Logics of False Belief and Reliable Belief
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete1
PREAI
deleteFan, Jie
delete分享
delete收藏
Exponential Fields: Lack of Generic Derivations
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteFornasiero, Antongiulio; Terzo, Giuseppina
delete分享
delete收藏
Asymptotic Classes of Trees and @0-categoricity
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteMirabi, Mostafa
delete分享
delete收藏
Class Theory in HYPE
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteBuonaguidi, Maria Beatrice; Nicolai, Carlo
delete分享
delete收藏
Computable Categoricity Relative to a CE Degree相对于CE度的可计算类别性
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteVillano, Java Darleen
delete分享
delete收藏
Rough Approximate Subgroups
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteFanlo, Arturo Rodriguez; Wagner, Frank O.
delete分享
delete收藏