logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
N

Notre Dame Journal of Formal Logic

IF0.5
Papers21
Citations
Journal Papers 21
Publication Date
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
deleteShare
deleteSave
Epistemic Counterpossibilism
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteSalerno, Joseph
deleteShare
deleteSave
Two Uncountable Coloring Results on Semigroups
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteZhang, Teng
deleteShare
deleteSave
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
deleteShare
deleteSave
Model Theory of Homogeneous D-Sets
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteEstrada, Felipe; Goodrick, John
deleteShare
deleteSave
Boolean Completeness of Infinitary Logic with Arbitrary Signatures
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-05-01
delete0
PREAI
deleteAguilera, Juan P.
deleteShare
deleteSave
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
deleteShare
deleteSave
Paraconsistent 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
deleteShare
deleteSave
Local O-Minimality and Prime Models
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteKomine, Wataru; Tsuboi, Akito
deleteShare
deleteSave
Well-Behaved Truth
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteField, Hartry
deleteShare
deleteSave
Simple Tableaus for Simple Intuitionistic Logics
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteFitting, Melvin
deleteShare
deleteSave
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.
deleteShare
deleteSave
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
deleteShare
deleteSave
Stationary Tower Forcing and Universally Baire Sets
deleteNotre Dame Journal of Formal Logic
IF0.5
delete2026-02-01
delete0
PREAI
deleteTanno, Toshimasa
deleteShare
deleteSave
Logics of False Belief and Reliable Belief
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete1
PREAI
deleteFan, Jie
deleteShare
deleteSave
Exponential Fields: Lack of Generic Derivations
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteFornasiero, Antongiulio; Terzo, Giuseppina
deleteShare
deleteSave
Asymptotic Classes of Trees and @0-categoricity
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteMirabi, Mostafa
deleteShare
deleteSave
Class Theory in HYPE
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteBuonaguidi, Maria Beatrice; Nicolai, Carlo
deleteShare
deleteSave
Computable Categoricity Relative to a CE Degree
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteVillano, Java Darleen
deleteShare
deleteSave
Rough Approximate Subgroups
deleteNOTRE DAME JOURNAL OF FORMAL LOGIC
IF0.5
delete2025-11-01
delete0
PREAI
deleteFanlo, Arturo Rodriguez; Wagner, Frank O.
deleteShare
deleteSave