External Links

    Journal: Logica Universalis

    Volume 16, Issue 4

    535 -- 543Andrew Schumann, Jens Lemanski. Logic, Spatial Algorithms and Visual Reasoning
    545 -- 580Saloua Chatti. Two Squares of Opposition in Two Arabic Treatises: al-Suhrawardī and al-Sanūsī
    581 -- 601Hans Smessaert, Lorenz Demey. On the Logical Geometry of Geometric Angles
    603 -- 620Adam Trybus. Three-Dimensional Affine Spatial Logics
    621 -- 641Fabien Schang. Things May Not Be Simple: On Wittgenstein's Internal Relations
    643 -- 653Tomohiro Shirakawa, Hiroshi Sato, Kazuki Ishimaru. Observation of Autonomous Behavioral Selection in Physarum Plasmodium
    655 -- 669Andrew Adamatzky, Phil Ayres, Alexander E. Beasley, Nic Roberts, Han A. B. Wösten. Logics in Fungal Mycelium Networks
    671 -- 687Jerzy Król, Andrew Schumann, Krzysztof Bielas. Brain and Its Universal Logical Model of Multi-Agent Biological Systems

    Volume 16, Issue 3

    381 -- 387David Makinson. Frege's Ontological Diagram Completed
    389 -- 417Norihiro Kamide. An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi
    419 -- 449Abilio Rodrigues, Henrique Antunes. First-order Logics of Evidence and Truth with Constant and Variable Domains
    451 -- 468Tin Adlesic, Vedran Cacic. A Modern Rigorous Approach to Stratification in NF/NFU
    469 -- 497K. Tokuo. Natural Deduction for Quantum Logic
    499 -- 533Mirjana Borisavljevic. Maximum Segments as Natural Deduction Images of Some Cuts

    Volume 16, Issue 1

    1 -- 9Jean-Yves Béziau. The 2nd World Logic Prizes Contest, 7th UNILOG, Crete 2022
    11 -- 26Zvonimir Sikic. Kneale's Natural Deductions as a Notational Variant of Beth's Tableaus
    27 -- 55Bama Srinivasan, Ranjani Parthasarathi. A Formalism to Specify Unambiguous Instructions Inspired by Mīmāṁsā in Computational Settings
    57 -- 83Víctor Aranda. Completeness: From Husserl to Carnap
    85 -- 103Sérgio Marcelino. An Unexpected Boolean Connective
    105 -- 147Ievgen Ivanov. On Induction Principles for Partial Orders
    149 -- 175Rafael Félix Mora Ramirez. A Pragmatic Dissolution of Curry's Paradox
    177 -- 194Yana Rumenova, Tinko Tinchev. Modal Definability: Two Commuting Equivalence Relations
    195 -- 219Tomasz Jarmuzek, Mateusz Klonowski. Tableaux for Logics of Content Relationship and Set-Assignment Semantics
    221 -- 235Christian G. Fermüller, Timo Lang, Alexandra Pavlova. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic
    237 -- 252Costas Dimitracopoulos. Analytics vs. Elements
    253 -- 283Ioachim Drugus. A Universal Algebraic Set Theory Built on Mereology with Applications
    285 -- 322Guillaume Aucher. On the Universality of Atomic and Molecular Logics via Protologics
    323 -- 333Sejla Dautovic. 2
    335 -- 354María del Rosario Martínez-Ordaz. A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences
    355 -- 380Ciro Russo. Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
    runs on