Labelled Deductive Systems |
|
| Author:
| Gabbay, Dov M. |
| Series title: | Oxford Logic Guides |
| ISBN: | 978-0-19-853833-2 |
| Publication Date: | Sep 1996 |
| Publisher: | Oxford University Press
|
| Book Format: | Hardback |
| List Price: | AUD $213.64AUD $271.00 |
Book Description:
|
This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.
This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.