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-11-01 to 2024-11-01.)

Article	Citations
Meaningless Divisions	8
Structural Weakening and Paradoxes	6
The Shaping of Dedekind’s Rigorous Mathematics: What Do Dedekind’s Drafts Tell Us about His Ideal of Rigor?	5
Tame Topology over Definable Uniform Structures	4
An Incompleteness Theorem for Modal Relevant Logics	4
Inclosure and Intolerance	4
What Problem Did Ladd-Franklin (Think She) Solve(d)?	4
Effectiveness for the Dual Ramsey Theorem	4
Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings	4
On Stable Quotients	3
The Complexity of Module Radicals	3
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams	3
Shrieking, Shrugging, and the Australian Plan	3
Open Texture and Mathematics	3
Typicality à la Russell in Set Theory	3
Full Satisfaction Classes, Definability, and Automorphisms	2
Games on Base Matrices	2
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
Topologizing Interpretable Groups in p-Adically Closed Fields	2
IKTω and Łukasiewicz-Models	2
Embeddings between Partial Combinatory Algebras	2
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents	2
Monotone Subintuitionistic Logic: Duality and Transfer Results	2
A Probabilistic Semantics for Belief Logic	1

Impurity in Contemporary Mathematics	1
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness	1
Structural Completeness in Many-Valued Logics with Rational Constants	1
Poly-Connexivity: Connexive Conjunction and Disjunction	1
Mirroring Theorems in Free Logic	1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics	1
Solovay’s Relative Consistency Proof for FIM and BI	1
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project	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
Existentially Closed Closure Algebras	1
A Choice-Free Cardinal Equality	1
A Family of dp-Minimal Expansions of (Z;+)	1
Induction, Constructivity, and Grounding	1
Supercompactness Can Be Equiconsistent with Measurability	1
Wittgensteinian Predicate Logic and Compositionality	1
Core Gödel	1
Projective Games on the Reals	1
Nondefinability of Rings of Integers in Most Algebraic Fields	1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic	1
Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy	1
Representations and the Foundations of Mathematics	1
Decision Times of Infinite Computations	1