OOIR: Observatory of International Research

Papers

(The median citation count of Logica Universalis 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 2021-09-01 to 2025-09-01.)

Article	Citations
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi	14
Complementary Proof Nets for Classical Logic	9
A Modern Rigorous Approach to Stratification in NF/NFU	6
The ‘Only Possible Argument’ of Kant: A Critical Reconstruction	5
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	4
Crazy Dice, Chance, and Counting Causes	3
An Intensional Formalization of Generic Statements	3
Consequence, Signification and Insolubles in Fourteenth-Century Logic	3
Intensionality of Consequence and Identity of Proofs in Prawitz’s Theory of Grounds	3
Operator Counterparts of Types of Reasoning	3
Visual Clarity and Expressiveness in Logic Diagrams	3
Correction: Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories	3
Maximum Segments as Natural Deduction Images of Some Cuts	3
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms	2
The Internal Logic and Finite Colimits	2
Varieties of Cubes of Opposition	2
Analytics vs. Elements	2
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable	2
Observation of Autonomous Behavioral Selection in Physarum Plasmodium	2
A Logical Consequence Informed by Probability	2
On the Mathematical Modeling in Logic: An Analysis of the Structural Part of Object Determination Logic Through the Formal Concept Analysis	2
Morphisms Between Aristotelian Diagrams	2
Logic and the Social World	2

Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s)	2
Probability Logics for Reasoning About Quantum Observations	2
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?	2
On the Transitivity of Logical Consequence without Assuming Monotonicity	2
Logic, Spatial Algorithms and Visual Reasoning	2
The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil	2
The Decision Problem for Effective Procedures	2
Games and Lindström Theorems	2
Why the Hexagon of Opposition is Really a Triangle: Logical Structures as Geometric Shapes	2
Axiomatization of Some Basic and Modal Boolean Connexive Logics	2
Revising the Elenchus via Belief Revision	2
Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason	2
On the Universality of Atomic and Molecular Logics via Protologics	2
The Universalism of Logic in Stephen Langton’s Analysis of the Blessing Given to Jacob	2
Modern Versus Classical Structures of Opposition: A Discussion	1
AI and the Visualization of Paradise: Cultural Paradigms, Aesthetic Evolution, and Cognitive Exploration	1
Rule-Elimination Theorems	1
From Varanasi to Sinaia	1
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation	1
The Oppositions of Categorical Propositions in Avicenna’s Frame	1
Rooted Hypersequent Calculus for Modal Logic S5	1
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī	1
Ultravaluations and their Applications in $$\textsf{CPL}$$	1
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic	1
Unified Deductive Systems: An Outline	1
The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022	1
A Universal Algebraic Set Theory Built on Mereology with Applications	1
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper	1
Stoic Sign-Inference and Their Lore of Fate	1
Humanistic Demands and the Role of Chance in Business: A Plea for Mercy	1
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences	1
Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories	1
First-order Logics of Evidence and Truth with Constant and Variable Domains	1
Brain and Its Universal Logical Model of Multi-Agent Biological Systems	1
Challenges in Formal Analysis of Resilience: Capturing the Tradeoff Between the Chance of Failure and the Cost of Success	1
Abstract Categorical Logic	1
Negative Predication and Distinctness	1
On Induction Principles for Partial Orders	1
Another Look at Modality and Connexivity	1
On the Logical Geometry of Geometric Angles	1
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic	1
A Study of the Metatheory of Assertoric Syllogistic	1
Rejection: A Historico-Epistemological View	1
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras	1
The Logic of God: A Pluralistic Representational Theory of Concepts	1