External Links

    Journal: Journal of Logic, Language and Information

    Volume 9, Issue 3

    273 -- 311C. F. M. Vermeulen. Text Structure and Proof Structure
    313 -- 338Claire Gardent. Deaccenting and Higher-Order Unification
    339 -- 352Wojciech Zielonka. Cut-Rule Axiomatization of the Syntactic Calculus NL0
    353 -- 377Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema. Infobase Change: A First Approximation
    379 -- 387Lambèr M. M. Royakkers. Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law
    runs on