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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Abstract

NO ABSTRACT

Original language	English
Title of host publication	We Will Show Them! Essays in Honour of Dov Gabbay, volume 1
Editors	S.N. Artemov, H. Barringer, A.S. d'Avila Garcez, L.C. Lamb, J. Woods
Publisher	College Publications
Pages	701-730
ISBN (Print)	1-904987-11-7
Publication status	Published - 2005

@inbook{ca0d5e33b08d42f795e2874fabbb1bbc,

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

abstract = "NO ABSTRACT",

author = "M. Gabbay and M.J. Gabbay",

year = "2005",

language = "English",

isbn = "1-904987-11-7",

pages = "701--730",

editor = "S.N. Artemov and H. Barringer and \{d'Avila Garcez\}, A.S. and L.C. Lamb and J. Woods",

booktitle = "We Will Show Them! Essays in Honour of Dov Gabbay, volume 1",

publisher = "College Publications",

}

Formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning. / Gabbay, M.; Gabbay, M.J.
We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. ed. / S.N. Artemov; H. Barringer; A.S. d'Avila Garcez; L.C. Lamb; J. Woods. College Publications, 2005. p. 701-730.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

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

AU - Gabbay, M.

AU - Gabbay, M.J.

PY - 2005

Y1 - 2005

N2 - NO ABSTRACT

AB - NO ABSTRACT

M3 - Chapter

SN - 1-904987-11-7

SP - 701

EP - 730

BT - We Will Show Them! Essays in Honour of Dov Gabbay, volume 1

A2 - Artemov, S.N.

A2 - Barringer, H.

A2 - d'Avila Garcez, A.S.

A2 - Lamb, L.C.

A2 - Woods, J.

PB - College Publications

ER -