External Links

    Journal: Journal of Logic and Computation

    Volume 2, Issue 3

    243 -- 245T. S. E. Maibaum. Editorial
    247 -- 295Yves Auffray, Patrice Enjalbert. Modal Theorem Proving: An Equational Viewpoint
    297 -- 347Jean-Marc Andreoli. Logic Programming with Focusing Proofs in Linear Logic
    349 -- 373Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski. The Pure Logic of Necessitation
    375 -- 395Felipe Cucker. The Arithmetical Hierarchy over the Reals
    397 -- 425Georg Gottlob. Complexity Results for Nonmonotonic Logics
    runs on