Formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning

M. Gabbay, M.J. Gabbay

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Abstract

    NO ABSTRACT
    Original languageEnglish
    Title of host publicationWe Will Show Them! Essays in Honour of Dov Gabbay, volume 1
    EditorsS.N. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods
    PublisherCollege Publications
    Pages701-730
    ISBN (Print)1-904987-11-7
    Publication statusPublished - 2005

    Cite this