Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-directed Reasoning

Michael Gabbay, Murdoch Gabbay

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationWe Will Show Them: Essays in Honour of Dov Gabbay, Vol. 1
EditorsS Artemov, H Barringer, A d'Avila Garcez, L Lamb, J Woods
Place of PublicationLondon
PublisherCollege Publications
Pages701 - 730
Number of pages30
Publication statusPublished - 2005

Cite this