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

Authors :: Gabbay, M.
Gabbay, M.J.
Artemov, S.N.
Barringer, H.
d'Avila Garcez, A.S.
Lamb, L.C.
Woods, J.
Design and Analysis of Systems
Source :: We Will Show Them! Essays in Honour of Dov Gabbay, volume 1, 701-730, STARTPAGE=701;ENDPAGE=730;TITLE=We Will Show Them! Essays in Honour of Dov Gabbay, volume 1
Publication Year :: 2005
Publisher :: College Publications, 2005.
Abstract: NO ABSTRACT

Language :: English
Database :: OpenAIRE
Journal :: We Will Show Them! Essays in Honour of Dov Gabbay, volume 1, 701-730, STARTPAGE=701;ENDPAGE=730;TITLE=We Will Show Them! Essays in Honour of Dov Gabbay, volume 1
Accession number :: edsair.narcis........3b62d1da26c301c388e9b2db405c1650

Tools