228 Published articles
- RSS status: OK
- Last published: 23 days ago
14 published articles in 2025
Money, Time, and Information: Inspirations from Gödel, Tarski, and Chaitin
Published on 12 Aug 2025
Crazy Dice, Chance, and Counting Causes
Published on 24 Jul 2025
Logic and the Social World
Published on 22 Jul 2025
Visual Clarity and Expressiveness in Logic Diagrams
Published on 28 Jun 2025
Humanistic Demands and the Role of Chance in Business: A Plea for Mercy
Published on 10 Jun 2025
Another Look at Modality and Connexivity
Published on 28 Apr 2025
Some Theorems of Birkhoff in Tonoid Matrices
Published on 23 Apr 2025
Intensionality of Consequence and Identity of Proofs in Prawitz’s Theory of Grounds
Published on 21 Apr 2025
Can Formal Logic Make Pure Chance Intelligible? Ladrière on the Eschatological Horizon of Reason
Published on 17 Apr 2025
Consequence, Signification and Insolubles in Fourteenth-Century Logic
Published on 24 Mar 2025
Consequence Signification and Insolubles in Fourteenth Century Logic
Published on 23 Mar 2025
Correction to: The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil
Published on 8 Jan 2025
From Varanasi to Sinaia
Published on 4 Dec 2024
The ‘Only Possible Argument’ of Kant: A Critical Reconstruction
Published on 4 Dec 2024
On the Road to Paradise: Some Logical Steps
Published on 25 Nov 2024
The Universalism of Logic in Stephen Langton’s Analysis of the Blessing Given to Jacob
Published on 20 Nov 2024
Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?
Published on 1 Sep 2024
A Logical Consequence Informed by Probability
Published on 1 Sep 2024
On the Transitivity of Logical Consequence without Assuming Monotonicity
Published on 1 Sep 2024
Rule-Elimination Theorems
Published on 1 Sep 2024
The Internal Logic and Finite Colimits
Published on 1 Sep 2024
The Logic of God: A Pluralistic Representational Theory of Concepts
Published on 9 Jul 2024
Morphisms Between Aristotelian Diagrams
Published on 1 Jun 2024
Smurfing the Square of Opposition
Published on 1 Jun 2024
Quantifying Statements (Why ‘Every Thing’ is Not ‘Everything’, Among Other ‘Thing’s)
Published on 1 Jun 2024
Modern Versus Classical Structures of Opposition: A Discussion
Published on 1 Jun 2024
Varieties of Cubes of Opposition
Published on 1 Jun 2024
Why the Hexagon of Opposition is Really a Triangle: Logical Structures as Geometric Shapes
Published on 1 Jun 2024
Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories
Published on 1 Jun 2024
Mathematical Representation of Peterson’s Rules for Fuzzy Peterson’s Syllogisms
Published on 1 Jun 2024
Stoic Sign-Inference and Their Lore of Fate
Published on 1 Jun 2024
The Oppositions of Categorical Propositions in Avicenna’s Frame
Published on 1 Jun 2024
Correction: Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories
Published on 1 Jun 2024
The Buddhist Sengzhao’s Roots in Daoism: Ex Contradictione Nihil
Published on 10 May 2024
Preface to the Rejection Special Issue
Published on 1 Dec 2023
Unified Deductive Systems An Outline
Published on 22 Sep 2023
Operator Counterparts of Types of Reasoning
Published on 22 Sep 2023
On Consequence and Rejection as Operators
Published on 15 Sep 2023
Rejection A Historico Epistemological View
Published on 15 Sep 2023
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators
Published on 13 Sep 2023
Complementary Proof Nets for Classical Logic
Published on 13 Sep 2023
A Study of the Metatheory of Assertoric Syllogistic
Published on 20 Aug 2023
On Rearrangement Inequalities for Triangular Norms and Co norms in Multi valued Logic
Published on 15 Aug 2023
Rooted Hypersequent Calculus for Modal Logic S5
Published on 20 Jun 2023
Ultravaluations and their Applications in textsf CPL
Published on 15 Jun 2023
Revising the Elenchus via Belief Revision
Published on 21 May 2023
A Dialectic Contra Classical Logic
Published on 8 May 2023
Probability Logics for Reasoning About Quantum Observations
Published on 24 Apr 2023
The Decision Problem for Effective Procedures
Published on 23 Apr 2023
An Intensional Formalization of Generic Statements
Published on 17 Apr 2023
Negative Predication and Distinctness
Published on 5 Mar 2023
Lindenbaum Type Logical Structures
Published on 9 Feb 2023
Things May Not Be Simple On Wittgenstein s Internal Relations
Published on 7 Feb 2023
Abstract Categorical Logic
Published on 16 Nov 2022
Logics in Fungal Mycelium Networks
Published on 16 Nov 2022
Observation of Autonomous Behavioral Selection in Physarum Plasmodium
Published on 24 Oct 2022
Brain and Its Universal Logical Model of Multi Agent Biological Systems
Published on 20 Oct 2022
Two Squares of Opposition in Two Arabic Treatises al Suhraward and al San s
Published on 9 Oct 2022
Games and Lindstr m Theorems
Published on 4 Oct 2022
Three Dimensional Affine Spatial Logics
Published on 13 Sep 2022
Logic Spatial Algorithms and Visual Reasoning
Published on 9 Sep 2022
On the Logical Geometry of Geometric Angles
Published on 6 Sep 2022
Maximum Segments as Natural Deduction Images of Some Cuts
Published on 22 Aug 2022
A Modern Rigorous Approach to Stratification in NF NFU
Published on 19 Aug 2022
Natural Deduction for Quantum Logic
Published on 4 Aug 2022
Frege s Ontological Diagram Completed
Published on 28 Jul 2022
On the Universality of Atomic and Molecular Logics via Protologics
Published on 2 Jul 2022
First order Logics of Evidence and Truth with Constant and Variable Domains
Published on 22 Jun 2022
Analytics vs Elements
Published on 17 Apr 2022
The 2nd World Logic Prizes Contest 7th UNILOG Crete 2022
Published on 10 Mar 2022
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
Published on 6 Mar 2022
From Truth Degree Comparison Games to Sequents of Relations Calculi for G del Logic
Published on 6 Mar 2022
A Methodological Shift in Favor of Some Paraconsistency in the Sciences
Published on 15 Feb 2022
Tableaux for Logics of Content Relationship and Set Assignment Semantics
Published on 15 Feb 2022
Modal Definability Two Commuting Equivalence Relations
Published on 7 Feb 2022
A Pragmatic Dissolution of Curry s Paradox
Published on 6 Feb 2022
On Induction Principles for Partial Orders
Published on 1 Feb 2022
A Probabilistic Logic Between LPP 1 L P P 1 and LPP 2 L P P 2
Published on 31 Jan 2022
A Universal Algebraic Set Theory Built on Mereology with Applications
Published on 31 Jan 2022
Axiomatization of Some Basic and Modal Boolean Connexive Logics
Published on 12 Nov 2021
Implicational Partial Galois Logics Relational Semantics
Published on 10 Oct 2021
The Role of the Common in Cognitive Prosperity Our Command of the Unspeakable and Unwriteable
Published on 29 Sep 2021
Implicational Tonoid Logics Algebraic and Relational Semantics
Published on 24 Sep 2021
On the Origin of Logical Determinism in Babylonia
Published on 15 Aug 2021
A Formalism to Specify Unambiguous Instructions Inspired by M m s in Computational Settings
Published on 5 Aug 2021
Unification in Pretabular Extensions of S4
Published on 3 Aug 2021
Completeness From Husserl to Carnap
Published on 21 Jul 2021
Islamic Contradictory Theology Is there any such Thing
Published on 20 Jul 2021
Paraconsistent Orbits of Logics
Published on 7 Jul 2021
An Unexpected Boolean Connective
Published on 16 Jun 2021
Kneale s Natural Deductions as a Notational Variant of Beth s Tableaus
Published on 16 Jun 2021
k Provability in hbox PA PA
Published on 8 Jun 2021
Mathematical Perspectives on Liar Paradoxes
Published on 28 May 2021
Calculi for Many Valued Logics
Published on 13 May 2021
On Nonmonotonic Consequence Relations
Published on 9 May 2021
A Reinterpretation of the Semilattice Semantics with Applications
Published on 15 Apr 2021
What is Identical
Published on 11 Apr 2021
A Note on Logicality of Generalized Quantifiers
Published on 25 Mar 2021
Bimodal Logic with Contingency and Accident Bisimulation and Axiomatizations
Published on 12 Mar 2021
Correspondence Analysis for Some Fragments of Classical Propositional Logic
Published on 2 Feb 2021
Quantified Temporal Alethic Boulesic Doxastic Logic
Published on 5 Nov 2020
Constrained Pseudo Propositional Logic
Published on 4 Nov 2020
Graded Structures of Opposition in Fuzzy Natural Logic
Published on 27 Oct 2020
Tree Like Proof Systems for Finitely Many Valued Non deterministic Consequence Relations
Published on 15 Oct 2020
Encoding Complete Metric Structures by Classical Structures
Published on 24 Sep 2020
Bases for Structures and Theories II
Published on 20 Sep 2020
Composition of Deductions within the Propositions As Types Paradigm
Published on 1 Sep 2020
Logical Rules as Fractions and Logics as Sketches
Published on 31 Jul 2020
Farewell to Suppression Freedom
Published on 29 Jul 2020
Measuring Inconsistency in Generalized Propositional Logic
Published on 24 Jul 2020
Numerical Existence Property and Categories with an Internal Copy
Published on 23 Jul 2020
Bases for Structures and Theories I
Published on 19 Jul 2020
The Normal and Self extensional Extension of Dunn Belnap Logic
Published on 24 May 2020
Eigenlogic in the Spirit of George Boole
Published on 14 May 2020
Beyond Logical Pluralism and Logical Monism
Published on 13 May 2020
Correction to Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
Published on 21 Apr 2020
Essential Structure of Proofs as a Measure of Complexity
Published on 6 Apr 2020
Introducing H an Institution Based Formal Specification and Verification Language
Published on 3 Apr 2020
On the Historical Transformations of the Square of Opposition as Semiotic Object
Published on 8 Mar 2020
The Cretan Square
Published on 28 Feb 2020
Structures of Opposition and Comparisons Boolean and Gradual Cases
Published on 27 Feb 2020
Existential Import Aristotelian Logic and its Generalizations
Published on 21 Feb 2020
Kant s Antinomies of Pure Reason and the Hexagon of Predicate Negation
Published on 14 Feb 2020
A Cube of Opposition for Predicate Logic
Published on 6 Feb 2020
Swyneshed Aristotle and the Rule of Contradictory Pairs
Published on 3 Feb 2020
Theological Discourse and Logic
Published on 27 Nov 2019
Counterpossibles and Normal Defaults in the Filioque Controversy
Published on 21 Nov 2019
Logic Diagrams Sacred Geometry and Neural Networks
Published on 17 Nov 2019
The Talmudic Logic Project Ongoing Since 2008
Published on 14 Nov 2019
Thomas Manlevelt God in Logic
Published on 13 Nov 2019
Pavel Florensky s Theory of Religious Antinomies
Published on 12 Nov 2019
Non monotonic Logic and the Compatibility of Science and Religion
Published on 12 Nov 2019
Mathematics and Theology in the Thought of Nicholas of Cusa
Published on 8 Nov 2019
Knowability and Other Onto theological Paradoxes
Published on 5 Nov 2019
Iterated Mixed Strategies and Pascal s Wager
Published on 5 Nov 2019
G del s Second Theorem and the Provability of God s Existence
Published on 4 Nov 2019
Metalanguage and Revelation Rethinking Theology s Language and Relevance
Published on 4 Nov 2019
hbox Venn i o1 Venn i o 1 A Diagram System for Universe Without Boundary
Published on 7 Aug 2019
On the Origin of Indian Logic from the Viewpoint of the P li Canon
Published on 25 Jul 2019
Super Models
Published on 24 Jul 2019
Perspectives on the Logical Study of Language
Published on 24 Jul 2019
The Sphere Model of Consciousness From Geometrical to Neuro Psycho Educational Perspectives
Published on 19 Jul 2019
Hintikka Memorial Issue Introduction and Remarks on Jaakko Hintikka s Logical Philosophy
Published on 2 May 2019
1st World Logic Day 14 January 2019
Published on 7 Feb 2019
A Bunch of Diagrammatic Methods for Syllogistic
Published on 31 Jan 2019
Structural Rules for Multi valued Logics
Published on 17 Jan 2019
Duality Results for Co Residuated Lattices
Published on 29 Nov 2018
Positive Amalgamation
Published on 28 Nov 2018
Logic Prizes et C tera
Published on 23 Oct 2018
Generalized Correspondence Analysis for Three Valued Logics
Published on 9 Oct 2018
Pecularities of Some Three and Four Valued Second Order Logics
Published on 9 Oct 2018
Logical Consequence in Avicenna s Theory
Published on 4 Sep 2018
Dualities for P onka Sums
Published on 28 Aug 2018
Innovation and Application of Logic An Interview with Jaakko Hintikka
Published on 27 Aug 2018
To Peirce Hintikka s Thoughts
Published on 13 Aug 2018
Abstract Logical Constants
Published on 8 Aug 2018
On the Modal Logic of Jeffrey Conditionalization
Published on 6 Aug 2018
Labelled Tableau Systems for Some Subintuitionistic Logics
Published on 2 Aug 2018
New Logics for Quantum Non individuals
Published on 2 Aug 2018
Hintikka and the Functions of Logic
Published on 30 Jul 2018
Hintikka Free Logician
Published on 30 Jul 2018
Varieties of Rigidity
Published on 25 Jul 2018
Hintikka on the Kant Frege View A Critical Assessment
Published on 23 Jul 2018
Canonical Extensions and Kripke Galois Semantics for Non distributive Logics
Published on 16 Jul 2018
On TAE Machines and Their Computational Power
Published on 15 Jul 2018
A Characterisation of Some mathbf Z Z Like Logics
Published on 30 Apr 2018
Universal Logic Evolution of a Project
Published on 26 Apr 2018
Is the Principle of Contradiction a Consequence of x 2 x x 2 x
Published on 26 Apr 2018
Aristotle s Prototype Rule Based Underlying Logic
Published on 18 Apr 2018
A Molecular Logic of Chords and Their Internal Harmony
Published on 10 Apr 2018
On a Generalization of Equilogical Spaces
Published on 9 Apr 2018
Composition Nominative Logics as Institutions
Published on 1 Apr 2018
Natural Deduction for Post s Logics and their Duals
Published on 28 Mar 2018
Two Early Arabic Applications of Model Theoretic Consequence
Published on 19 Mar 2018
Positive Jonsson Theories
Published on 7 Mar 2018
Venn Diagram with Names of Individuals and Their Absence A Non classical Diagram Logic
Published on 20 Feb 2018
A Characterisation of Some mathbf Z Z Like Logics
Published on 9 Feb 2018
Correction to Sequent Systems for Negative Modalities
Published on 28 Nov 2017
An Alternative Definition of Quantifiers on Four Valued ukasiewicz Algebras
Published on 6 Nov 2017
The Pursuit of an Implication for the Logics L3A and L3B
Published on 27 Oct 2017
A Proof Theoretic Semantics for Exclusion
Published on 23 Oct 2017
Admissibility in Positive Logics
Published on 22 Oct 2017
Classical Negation Strikes Back Why Priest s Attack on Classical Negation Can t Succeed
Published on 18 Oct 2017
Compositional Meaning in Logic
Published on 7 Aug 2017
Modal Multilattice Logic
Published on 19 Jul 2017
A Note on Two s Company The Humbug of Many Logical Values
Published on 19 Jul 2017
Self Extensional Three Valued Paraconsistent Logics
Published on 18 Jul 2017
Locally Tabular ne Locally Finite
Published on 16 Jul 2017
Sequent Systems for Negative Modalities
Published on 16 Jul 2017
Expressivist Perspective on Logicality
Published on 9 Jul 2017
Is No a Force Indicator Yes Sooner or Later
Published on 19 May 2017
Natural Deduction for Fitting s Four Valued Generalizations of Kleene s Logics
Published on 8 May 2017
The Semiotics of Spider Diagrams
Published on 3 May 2017
Translating Non classical Logics into Classical Logic by Using Hidden Variables
Published on 28 Apr 2017
Topological Representation of Intuitionistic and Distributive Abstract Logics
Published on 2 Apr 2017
Interconnection of the Lattices of Extensions of Four Logics
Published on 26 Mar 2017
Karma Theory Determinism Fatalism and Freedom of Will
Published on 28 Feb 2017
A Logical Analysis of the Anselm s Unum Argumentum from Proslogion
Published on 28 Feb 2017
Leibniz s Ontological Proof of the Existence of God and the Problem of Impossible Objects
Published on 28 Feb 2017
Logic and Religion
Published on 28 Feb 2017
Computer Assisted Analysis of the Anderson H jek Ontological Controversy
Published on 28 Feb 2017
Thinking Negation in Early Hinduism and Classical Indian Philosophy
Published on 28 Feb 2017
Monotonic and Non monotonic Embeddings of Anselm s Proof
Published on 28 Feb 2017
From Logic in Islam to Islamic Logic
Published on 28 Feb 2017
Widersinn in Husserl s Pure Logic
Published on 30 Nov 2016
Theory of Semi Instantiation in Abstract Argumentation
Published on 30 Nov 2016
The Grammar of Platonism
Published on 30 Nov 2016
A Non Standard Analysis of a Cultural Icon The Case of Paul Halmos
Published on 30 Nov 2016
Canonical Syllogistic Moods in Traditional Aristotelian Logic
Published on 30 Nov 2016
Cubes and Hypercubes of Opposition with Ethical Ruminations on Inviolability
Published on 31 May 2016
Logical Squares for Classical Logic Sentences
Published on 31 May 2016
Disentangling Contradiction from Contrariety via Incompatibility
Published on 31 May 2016
Generalization and Composition of Modal Squares of Oppositions
Published on 31 May 2016
A Square of Oppositions in Intuitionistic Logic with Strong Negation
Published on 31 May 2016