External Links

    Journal: Logica Universalis

    Volume 14, Issue 4

    407 -- 420Pawel Pawlowski. Tree-Like Proof Systems for Finitely-Many Valued Non-deterministic Consequence Relations
    421 -- 459Nathanael Leedom Ackerman. Encoding Complete Metric Structures by Classical Structures
    461 -- 479Jeffrey Ketland. Bases for Structures and Theories II
    481 -- 493Ivo Pezlar. Composition of Deductions within the Propositions-As-Types Paradigm
    495 -- 522Petra Murinová. Graded Structures of Opposition in Fuzzy Natural Logic
    523 -- 535Ahmad-Saher Azizi-Sultan. Constrained Pseudo-Propositional Logic

    Volume 14, Issue 3

    281 -- 296Arnon Avron. The Normal and Self-extensional Extension of Dunn-Belnap Logic
    297 -- 330Tore Fjetland Øgaard. Farewell to Suppression-Freedom
    331 -- 356John Grant. Measuring Inconsistency in Generalized Propositional Logic
    357 -- 381Jeffrey Ketland. Bases for Structures and Theories I
    383 -- 394Samuele Maschio. Numerical Existence Property and Categories with an Internal Copy
    395 -- 405Dominique Duval. Logical Rules as Fractions and Logics as Sketches

    Volume 14, Issue 2

    151 -- 174Pavel Arazim. Beyond Logical Pluralism and Logical Monism
    175 -- 207Zeno Toffano. Eigenlogic in the Spirit of George Boole
    209 -- 242Jaime Ramos, João Rasga, Cristina Sernadas. Essential Structure of Proofs as a Measure of Complexity
    243 -- 258Mohammed Belkasmi. Positive Amalgamation
    259 -- 277Razvan Diaconescu. H, an Institution-Based Formal Specification and Verification Language
    279 -- 0David W. Miller. Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

    Volume 14, Issue 1

    1 -- 5Jean-Yves Béziau, Jens Lemanski. The Cretan Square
    7 -- 26Ioannis M. Vandoulakis, Tatiana Yu. Denisova. On the Historical Transformations of the Square of Opposition as Semiotic Object
    27 -- 50Stephen Read. Swyneshed, Aristotle and the Rule of Contradictory Pairs
    51 -- 67Peter McLaughlin, Oliver Schlaudt. Kant's Antinomies of Pure Reason and the 'Hexagon of Predicate Negation'
    69 -- 102Corina Strößner. Existential Import, Aristotelian Logic, and its Generalizations
    103 -- 114Jørgen Fischer Nilsson. A Cube of Opposition for Predicate Logic
    115 -- 149Didier Dubois, Henri Prade, Agnès Rico. Structures of Opposition and Comparisons: Boolean and Gradual Cases
    runs on