OOIR: Observatory of International Research

Papers

(The TQCC of Notre Dame Journal of Formal Logic is 1. 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 2020-05-01 to 2024-05-01.)

Article	Citations
Meaningless Divisions	5
Structural Weakening and Paradoxes	5
Uniformly Bounded Arrays and Mutually Algebraic Structures	5
Tame Topology over Definable Uniform Structures	4
Effectiveness for the Dual Ramsey Theorem	4
Prospects for a Theory of Decycling	4
An Incompleteness Theorem for Modal Relevant Logics	4
The Formalities of Temporaryism without Presentness	4
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings	4
On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields	3
Open Texture and Mathematics	3
The Complexity of Module Radicals	3
Formal Notes on the Substitutional Analysis of Logical Consequence	3
The Shaping of Dedekind’s Rigorous Mathematics: What Do Dedekind’s Drafts Tell Us about His Ideal of Rigor?	3
What Problem Did Ladd-Franklin (Think She) Solve(d)?	3
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	3
Inclosure and Intolerance	3
Shrieking, Shrugging, and the Australian Plan	3
Effect of the Choice of Connectives on the Relation between Classical Logic and Intuitionistic Logic	2
Sequent Calculi for Intuitionistic Gödel–Löb Logic	2
IKTω and Łukasiewicz-Models	2
Distality for the Asymptotic Couple of the Field of Logarithmic Transseries	2
On Stable Quotients	2
Typicality à la Russell in Set Theory	2
Induction, Constructivity, and Grounding	1

Ideals and Their Generic Ultrafilters	1
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	1
Impurity in Contemporary Mathematics	1
Projective Games on the Reals	1
A Note on FDE “All the Way Up”	1
Poly-Connexivity: Connexive Conjunction and Disjunction	1
Mirroring Theorems in Free Logic	1
Games on Base Matrices	1
Isometry Groups of Borel Randomizations	1
Definable Functions and Stratifications in Power-Bounded T -Convex Fields	1
Solovay’s Relative Consistency Proof for FIM and BI	1
Effective Domination and the Bounded Jump	1
Full Satisfaction Classes, Definability, and Automorphisms	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Begriffsschrift’s Logic	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	1
Decision Times of Infinite Computations	1
A Note on Strongly Almost Disjoint Families	1
Supercompactness Can Be Equiconsistent with Measurability	1
Four-Valued Logics of Truth, Nonfalsity, Exact Truth, and Material Equivalence	1
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences	1
Structural Completeness in Many-Valued Logics with Rational Constants	1
Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy	1
A Family of dp-Minimal Expansions of (Z;+)	1