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-04-01 to 2025-04-01.)

Article	Citations
A Modern Rigorous Approach to Stratification in NF/NFU	8
First-order Logics of Evidence and Truth with Constant and Variable Domains	6
What is Identical?	5
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi	5
Logic, Spatial Algorithms and Visual Reasoning	5
Abstract Categorical Logic	5
Probability Logics for Reasoning About Quantum Observations	4
Correction to: The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil	3
Modern Versus Classical Structures of Opposition: A Discussion	3
The ‘Only Possible Argument’ of Kant: A Critical Reconstruction	3
A Logical Consequence Informed by Probability	3
The Oppositions of Categorical Propositions in Avicenna’s Frame	3
Calculi for Many-Valued Logics	3
Complementary Proof Nets for Classical Logic	3
Why the Hexagon of Opposition is Really a Triangle: Logical Structures as Geometric Shapes	3
Smurfing the Square of Opposition	3
Varieties of Cubes of Opposition	3
Frege’s Ontological Diagram Completed	2
Axiomatization of Some Basic and Modal Boolean Connexive Logics	2
On the Transitivity of Logical Consequence without Assuming Monotonicity	2
Rejection: A Historico-Epistemological View	2
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic	2
Revising the Elenchus via Belief Revision	2
Completeness: From Husserl to Carnap	2
Things May Not Be Simple: On Wittgenstein’s Internal Relations	2

Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators	2
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī	2
k-Provability in $$\hbox {PA}$$	2
Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation	2
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus	2
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable	2
Stoic Sign-Inference and Their Lore of Fate	2
On the Logical Geometry of Geometric Angles	2
The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil	2
On the Origin of Logical Determinism in Babylonia	2
Observation of Autonomous Behavioral Selection in Physarum Plasmodium	2
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic	2
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?	2
Consequence, Signification and Insolubles in Fourteenth-Century Logic	2
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings	2
An Unexpected Boolean Connective	2
From Varanasi to Sinaia	1
On Induction Principles for Partial Orders	1
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic	1
Unified Deductive Systems: An Outline	1
The Logic of God: A Pluralistic Representational Theory of Concepts	1
Negative Predication and Distinctness	1
The Decision Problem for Effective Procedures	1
Modal Definability: Two Commuting Equivalence Relations	1
Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories	1
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper	1
Three-Dimensional Affine Spatial Logics	1
A Universal Algebraic Set Theory Built on Mereology with Applications	1
A Study of the Metatheory of Assertoric Syllogistic	1
Implicational Partial Galois Logics: Relational Semantics	1
An Intensional Formalization of Generic Statements	1
AI and the Visualization of Paradise: Cultural Paradigms, Aesthetic Evolution, and Cognitive Exploration	1
“Logical Lantern”: Analogue of the Square of Opposition for Propositions in V.I. Markin’s Universal Language for Traditional Positive Syllogistic Theories	1
Paraconsistent Orbits of Logics	1
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras	1
Brain and Its Universal Logical Model of Multi-Agent Biological Systems	1
Rule-Elimination Theorems	1
Unification in Pretabular Extensions of S4	1
Islamic Contradictory Theology . . . Is there any such Thing?	1
Rooted Hypersequent Calculus for Modal Logic S5	1
A Reinterpretation of the Semilattice Semantics with Applications	1
Maximum Segments as Natural Deduction Images of Some Cuts	1
Analytics vs. Elements	1
A Dialectic Contra-Classical Logic	1
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms	1
On the Road to Paradise: Some Logical Steps	1
Tableaux for Logics of Content Relationship and Set-Assignment Semantics	1
Mathematical Perspectives on Liar Paradoxes	1
Preface to the Rejection Special Issue	1
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences	1

Morphisms Between Aristotelian Diagrams