External Links

    Journal: Journal of Logic and Computation

    Volume 4, Issue 6

    859 -- 876Christophe Fouqueré, Jacqueline Vauzeilles. Linear Logic and Exceptions
    877 -- 903Mehmet A. Orgun, William W. Wadge. Extending Temporal Logic Programming with Choice Predicates Non-Determinism
    905 -- 927Reiner Hähnle. Short Conjunctive Normal Forms in Finitely Valued Logics
    929 -- 938Arnon Avron. Some Properties of Linear Logic Proved by Semantic Methods
    939 -- 973Mads Dam. Process-Algebraic Interpretations of Positive Linear and Relevant Logics
    runs on