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

M. Gabbay, M.J. Gabbay

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

    Samenvatting

    NO ABSTRACT
    Originele taal-2Engels
    TitelWe Will Show Them! Essays in Honour of Dov Gabbay, volume 1
    RedacteurenS.N. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods
    UitgeverijCollege Publications
    Pagina's701-730
    ISBN van geprinte versie1-904987-11-7
    StatusGepubliceerd - 2005

    Citeer dit