- Modern Versus Classical Structures of Opposition: A Discussion
- Stoic Sign-Inference and Their Lore of Fate
- On the Transitivity of Logical Consequence without Assuming Monotonicity
- Should We Embrace Impossible Worlds Due to the Flaws of Normal Modal Logic?
- Dynamic Oppositional Symmetries for Color, Jungian and Kantian Categories
- The Internal Logic and Finite Colimits
- Morphisms Between Aristotelian Diagrams
- Preface to the Rejection Special Issue
- Operator Counterparts of Types of Reasoning
- Unified Deductive Systems: An Outline
- Rejection: A Historico-Epistemological View
- On Consequence and Rejection as Operators
- Complementary Proof Nets for Classical Logic
- Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation
- Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators
- A Study of the Metatheory of Assertoric Syllogistic
- On Rearrangement Inequalities for Triangular Norms and Co-norms in Multi-valued Logic
- Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness
- Rooted Hypersequent Calculus for Modal Logic S5
- Ultravaluations and their Applications in $$textsf{CPL}$$
- Revising the Elenchus via Belief Revision
- A Dialectic Contra-Classical Logic
- Probability Logics for Reasoning About Quantum Observations
- The Decision Problem for Effective Procedures
- An Intensional Formalization of Generic Statements
- Negative Predication and Distinctness
- Lindenbaum-Type Logical Structures
- Things May Not Be Simple: On Wittgenstein’s Internal Relations
- Logics in Fungal Mycelium Networks
- Abstract Categorical Logic
- Observation of Autonomous Behavioral Selection in Physarum Plasmodium
- Brain and Its Universal Logical Model of Multi-Agent Biological Systems
- Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī
- Games and Lindström Theorems
- Three-Dimensional Affine Spatial Logics
- Logic, Spatial Algorithms and Visual Reasoning
- On the Logical Geometry of Geometric Angles
- Maximum Segments as Natural Deduction Images of Some Cuts
- A Modern Rigorous Approach to Stratification in NF/NFU
- Natural Deduction for Quantum Logic
- Frege’s Ontological Diagram Completed
- An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
- On the Universality of Atomic and Molecular Logics via Protologics
- First-order Logics of Evidence and Truth with Constant and Variable Domains
- Analytics vs. Elements
- The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
- Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
- A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences
- Tableaux for Logics of Content Relationship and Set-Assignment Semantics
- Modal Definability: Two Commuting Equivalence Relations
- A Pragmatic Dissolution of Curry’s Paradox
- On Induction Principles for Partial Orders
- A Universal Algebraic Set Theory Built on Mereology with Applications
- A Probabilistic Logic Between $$LPP_1$$ L P P 1 and $$LPP_2$$ L P P 2
- An Intuitionist Reasoning Upon Formal Intuitionist Logic: Logical Analysis of Kolmogorov’s 1932 Paper
- Axiomatization of Some Basic and Modal Boolean Connexive Logics
- Implicational Partial Galois Logics: Relational Semantics
- The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable
- Implicational Tonoid Logics: Algebraic and Relational Semantics
- On the Origin of Logical Determinism in Babylonia
- Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic
- A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings
- Unification in Pretabular Extensions of S4
- Completeness: From Husserl to Carnap
- Islamic Contradictory Theology . . . Is there any such Thing?
- Paraconsistent Orbits of Logics
- Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus
- An Unexpected Boolean Connective
- k-Provability in $$hbox {PA}$$ PA
- Mathematical Perspectives on Liar Paradoxes
- Calculi for Many-Valued Logics
- On Nonmonotonic Consequence Relations
- A Reinterpretation of the Semilattice Semantics with Applications
- What is Identical?
- A Note on Logicality of Generalized Quantifiers
- Bimodal Logic with Contingency and Accident: Bisimulation and Axiomatizations
- Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $$mathbf {L3A_G}$$ L 3 A G and $$mathbf {L3B_G}$$ L 3 B G
- Correspondence Analysis for Some Fragments of Classical Propositional Logic
- Quantified Temporal Alethic Boulesic Doxastic Logic
- Constrained Pseudo-Propositional Logic
- Graded Structures of Opposition in Fuzzy Natural Logic
- Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations
- Encoding Complete Metric Structures by Classical Structures
- Bases for Structures and Theories II
- Composition of Deductions within the Propositions-As-Types Paradigm
- Logical Rules as Fractions and Logics as Sketches
- Farewell to Suppression-Freedom
- Measuring Inconsistency in Generalized Propositional Logic
- Numerical Existence Property and Categories with an Internal Copy
- Bases for Structures and Theories I
- The Normal and Self-extensional Extension of Dunn–Belnap Logic
- Eigenlogic in the Spirit of George Boole
- Beyond Logical Pluralism and Logical Monism
- Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice
- Essential Structure of Proofs as a Measure of Complexity
- Introducing H , an Institution-Based Formal Specification and Verification Language
- On the Historical Transformations of the Square of Opposition as Semiotic Object
- The Cretan Square
- Structures of Opposition and Comparisons: Boolean and Gradual Cases
- Existential Import, Aristotelian Logic, and its Generalizations
- Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’
- A Cube of Opposition for Predicate Logic
- Swyneshed, Aristotle and the Rule of Contradictory Pairs
- Theological Discourse and Logic
- Counterpossibles and Normal Defaults in the Filioque Controversy
- Logic Diagrams, Sacred Geometry and Neural Networks
- The Talmudic Logic Project, Ongoing Since 2008
- Thomas Manlevelt: God in Logic
- Pavel Florensky’s Theory of Religious Antinomies
- Non-monotonic Logic and the Compatibility of Science and Religion
- Mathematics and Theology in the Thought of Nicholas of Cusa
- Knowability and Other Onto-theological Paradoxes
- Iterated Mixed Strategies and Pascal’s Wager
- Metalanguage and Revelation: Rethinking Theology’s Language and Relevance
- Gödel’s Second Theorem and the Provability of God’s Existence
- $$hbox {Venn}_{i_{o1}}$$ Venn i o 1 : A Diagram System for Universe Without Boundary
- On the Origin of Indian Logic from the Viewpoint of the Pāli Canon
- Perspectives on the Logical Study of Language
- Super Models
- The Sphere Model of Consciousness: From Geometrical to Neuro-Psycho-Educational Perspectives
- Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy
- 1st World Logic Day: 14 January 2019
- A Bunch of Diagrammatic Methods for Syllogistic
- Structural Rules for Multi-valued Logics
- Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with Classical Negation: A General Framework
- Duality Results for (Co)Residuated Lattices
- Positive Amalgamation
- Logic Prizes et Cætera
- Pecularities of Some Three- and Four-Valued Second Order Logics
- Generalized Correspondence Analysis for Three-Valued Logics
- Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers
- A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies
- Logical Consequence in Avicenna’s Theory
- Dualities for Płonka Sums
- Innovation and Application of Logic: An Interview with Jaakko Hintikka
- To Peirce Hintikka’s Thoughts
- Abstract Logical Constants
- On the Modal Logic of Jeffrey Conditionalization
- New Logics for Quantum Non-individuals?
- Labelled Tableau Systems for Some Subintuitionistic Logics
- Hintikka, Free Logician
- Hintikka and the Functions of Logic
- Varieties of Rigidity
- Hintikka on the “Kant–Frege View”: A Critical Assessment
- Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics
- On TAE Machines and Their Computational Power
- A Characterisation of Some $$mathbf {Z}$$ Z -Like Logics
- Is the Principle of Contradiction a Consequence of $$x^{2}=x$$ x 2 = x ?
- Universal Logic: Evolution of a Project
- Aristotle’s Prototype Rule-Based Underlying Logic
- A Molecular Logic of Chords and Their Internal Harmony
- On a Generalization of Equilogical Spaces
- Composition-Nominative Logics as Institutions
- Natural Deduction for Post’s Logics and their Duals
- Two Early Arabic Applications of Model-Theoretic Consequence
- Positive Jonsson Theories
- Venn Diagram with Names of Individuals and Their Absence: A Non-classical Diagram Logic
- A Characterisation of Some $$mathbf {Z}$$ Z -Like Logics
- Correction to: Sequent Systems for Negative Modalities
- An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
- The Pursuit of an Implication for the Logics L3A and L3B
- A Proof-Theoretic Semantics for Exclusion
- Admissibility in Positive Logics
- Classical Negation Strikes Back: Why Priest’s Attack on Classical Negation Can’t Succeed
- Compositional Meaning in Logic
- Modal Multilattice Logic
- A Note on Two’s Company: “The Humbug of Many Logical Values”
- Self-Extensional Three-Valued Paraconsistent Logics
- Sequent Systems for Negative Modalities
- Locally Tabular $$ne $$ ≠ Locally Finite
- Expressivist Perspective on Logicality
- Is ‘No’ a Force-Indicator? Yes, Sooner or Later!
- Natural Deduction for Fitting’s Four-Valued Generalizations of Kleene’s Logics
- The Semiotics of Spider Diagrams
- Translating Non-classical Logics into Classical Logic by Using Hidden Variables
- Topological Representation of Intuitionistic and Distributive Abstract Logics
- Interconnection of the Lattices of Extensions of Four Logics
- Logic and Religion
- Leibniz’s Ontological Proof of the Existence of God and the Problem of »Impossible Objects«
- A Logical Analysis of the Anselm’s Unum Argumentum (from Proslogion )
- Karma Theory, Determinism, Fatalism and Freedom of Will
- From Logic in Islam to Islamic Logic
- Monotonic and Non-monotonic Embeddings of Anselm’s Proof
- Thinking Negation in Early Hinduism and Classical Indian Philosophy
- Computer-Assisted Analysis of the Anderson–Hájek Ontological Controversy
- Theory of Semi-Instantiation in Abstract Argumentation
- Widersinn in Husserl’s Pure Logic
- Canonical Syllogistic Moods in Traditional Aristotelian Logic
- A Categorical Interpretation of the Intuitionistic, Typed, First Order Logic with Hilbert’s $${varepsilon}$$ ε -Terms
- A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos
- The Grammar of Platonism
- Generalization and Composition of Modal Squares of Oppositions
- Disentangling Contradiction from Contrariety via Incompatibility
- Logical Squares for Classical Logic Sentences
- A Square of Oppositions in Intuitionistic Logic with Strong Negation
- Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability