External Links

    Journal: Journal of Logic and Computation

    Volume 12, Issue 6

    913 -- 928Norihiro Kamide. Relevance Principle for Substructural Logics with Mingle and Strong Negation
    929 -- 953Manfred Schmidt-Schauß. A Decision Algorithm for Stratified Context Unification
    955 -- 992Guido Fiorino. Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics
    993 -- 1016Stéphane Demri, Rajeev Goré. Display Calculi for Nominal Tense Logics
    1017 -- 1026Melvin Fitting. Modal Logics Between Propositional and First-order
    1027 -- 1060Alberto Artosi, Guido Governatori, Antonino Rotolo. Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
    1061 -- 1104Samin S. Ishtiaq, David J. Pym. Kripke Resource Models of a Dependently-typed, Bunched [lgr]-calculus
    runs on