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

    Fingerprint

    Dive into the research topics of 'Formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning'. Together they form a unique fingerprint.