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
    runs on