External Links

    Journal: Journal of Logic and Computation

    Volume 4, Issue 2

    109 -- 124Betti Venneri. Intersection Types as Logical Formulae
    125 -- 142Heinrich Wansing. Sequent Calculi for Normal Modal Proposisional Logics
    143 -- 156Jürgen Dix, Martin Kummer. Herbrand s Theorem for Nonstandard Inference Operations
    157 -- 174Andreas Polyméris. Conjunctive Normal Forms in Three-Valued Propositional Logics
    175 -- 207David J. Pym, James Harland. A Uniform Proof-Theoretic Investigation of Linear Logic Programming
    runs on