OOIR: Observatory of International Research

Papers

(The TQCC of Logica Universalis is 2. 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-06-01 to 2025-06-01.)

Article	Citations
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi	9
Complementary Proof Nets for Classical Logic	6
A Modern Rigorous Approach to Stratification in NF/NFU	6
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators	5
Smurfing the Square of Opposition	5
Things May Not Be Simple: On Wittgenstein’s Internal Relations	5
The ‘Only Possible Argument’ of Kant: A Critical Reconstruction	5
Intensionality of Consequence and Identity of Proofs in Prawitz’s Theory of Grounds	4
An Intensional Formalization of Generic Statements	4
Consequence, Signification and Insolubles in Fourteenth-Century Logic	4
Maximum Segments as Natural Deduction Images of Some Cuts	4
Correction: Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories	3
The Universalism of Logic in Stephen Langton’s Analysis of the Blessing Given to Jacob	3
Logic, Spatial Algorithms and Visual Reasoning	3
Operator Counterparts of Types of Reasoning	3
A Logical Consequence Informed by Probability	3
Paraconsistent Orbits of Logics	3
On the Universality of Atomic and Molecular Logics via Protologics	3
Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason	3
The Logic of God: A Pluralistic Representational Theory of Concepts	2
The Decision Problem for Effective Procedures	2
On the Mathematical Modeling in Logic: An Analysis of the Structural Part of Object Determination Logic Through the Formal Concept Analysis	2
Observation of Autonomous Behavioral Selection in Physarum Plasmodium	2
The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil	2
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms	2

Completeness: From Husserl to Carnap	2
On the Origin of Logical Determinism in Babylonia	2
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic	2
Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s)	2
Analytics vs. Elements	2
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable	2
On the Transitivity of Logical Consequence without Assuming Monotonicity	2
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?	2
Why the Hexagon of Opposition is Really a Triangle: Logical Structures as Geometric Shapes	2
Varieties of Cubes of Opposition	2
An Unexpected Boolean Connective	2
Unification in Pretabular Extensions of S4	2
Morphisms Between Aristotelian Diagrams	2
Revising the Elenchus via Belief Revision	2
Games and Lindström Theorems	2
The Internal Logic and Finite Colimits	2
Probability Logics for Reasoning About Quantum Observations	2
Axiomatization of Some Basic and Modal Boolean Connexive Logics	2
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus	2