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

Article	Citations
Morphisms Between Aristotelian Diagrams	6
An Unexpected Boolean Connective	5
Implicational Tonoid Logics: Algebraic and Relational Semantics	5
Axiomatization of Some Basic and Modal Boolean Connexive Logics	5
On the Origin of Logical Determinism in Babylonia	4
Correspondence Analysis for Some Fragments of Classical Propositional Logic	3
Brain and Its Universal Logical Model of Multi-Agent Biological Systems	3
Islamic Contradictory Theology . . . Is there any such Thing?	3
Calculi for Many-Valued Logics	3
Logics in Fungal Mycelium Networks	3
A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences	3
The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable	3
Logic, Spatial Algorithms and Visual Reasoning	3
Paraconsistent Orbits of Logics	3
A Universal Algebraic Set Theory Built on Mereology with Applications	3
Implicational Partial Galois Logics: Relational Semantics	3
A Modern Rigorous Approach to Stratification in NF/NFU	3
On Nonmonotonic Consequence Relations	2
The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022	2
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras	2
Modal Definability: Two Commuting Equivalence Relations	2
Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories	2
A Reinterpretation of the Semilattice Semantics with Applications	2
On the Logical Geometry of Geometric Angles	2
Completeness: From Husserl to Carnap	2

On the Universality of Atomic and Molecular Logics via Protologics	2
A Probabilistic Logic Between $$LPP_1$$ and $$LPP_2$$	2
The Decision Problem for Effective Procedures	2
Tableaux for Logics of Content Relationship and Set-Assignment Semantics	2
A Study of the Metatheory of Assertoric Syllogistic	2
Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic	2
Smurfing the Square of Opposition	2
Complementary Proof Nets for Classical Logic	2
Natural Deduction for Quantum Logic	2
“Logical Lantern”: Analogue of the Square of Opposition for Propositions in V.I. Markin’s Universal Language for Traditional Positive Syllogistic Theories	2
Unification in Pretabular Extensions of S4	2
Mathematical Perspectives on Liar Paradoxes	2
On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic	2
Stoic Sign-Inference and Their Lore of Fate	2
Modern Versus Classical Structures of Opposition: A Discussion	2
k-Provability in $$\hbox {PA}$$	1
Varieties of Cubes of Opposition	1
Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness	1
Abstract Categorical Logic	1
Lindenbaum-Type Logical Structures	1
A Pragmatic Dissolution of Curry’s Paradox	1
The Logic of God: A Pluralistic Representational Theory of Concepts	1
Unified Deductive Systems: An Outline	1
Quantified Temporal Alethic Boulesic Doxastic Logic	1
From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic	1
Observation of Autonomous Behavioral Selection in Physarum Plasmodium	1
Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī	1
A Note on Logicality of Generalized Quantifiers	1
The Oppositions of Categorical Propositions in Avicenna’s Frame	1
Ultravaluations and their Applications in $$\textsf{CPL}$$	1
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi	1
Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s)	1
Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations	1
Negative Predication and Distinctness	1
An Intensional Formalization of Generic Statements	1
Analytics vs. Elements	1
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?	1
The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil	1
Frege’s Ontological Diagram Completed	1
A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings	1
A Dialectic Contra-Classical Logic	1
Probability Logics for Reasoning About Quantum Observations	1
On Consequence and Rejection as Operators	1
First-order Logics of Evidence and Truth with Constant and Variable Domains	1
Games and Lindström Theorems	1
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms	1
An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper	1
Rooted Hypersequent Calculus for Modal Logic S5	1
On Induction Principles for Partial Orders	1
Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus	1

On the Transitivity of Logical Consequence without Assuming Monotonicity