Notre Dame Journal of Formal Logic

Papers
(The H4-Index of Notre Dame Journal of Formal Logic is 4. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-09-01 to 2025-09-01.)
ArticleCitations
Simple Tableaus for Simple Logics5
Shrieking, Shrugging, and the Australian Plan5
The Proof-Theoretic Strength of Constructive Second-Order Set Theories5
Burden of Henselian Valued Fields in the Denef–Pas Language4
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value4
Structural Completeness in Many-Valued Logics with Rational Constants4
0.20827198028564