| Title:
|
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
|
| By: |
Ruy J. G. B. de Queiroz, Dov M. Gabbay, Anjolina G. de Oliveira |
| Format: |
Hardback |
| List price:
|
£91.00 |
| Our price: |
£81.90 |
| Discount: |
|
| You save:
|
£9.10 |
|
|
|
|
|
| ISBN 10: |
9814360953 |
| ISBN 13: |
9789814360951 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
WORLD SCIENTIFIC PUBLISHING CO PTE LTD |
| Pub. date: |
2 November, 2011 |
| Series: |
Advances In Logic 5 |
| Pages: |
300 |
| Description: |
By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, this book allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. |
| Synopsis: |
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an `enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing `labels' is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations. |
| Publication: |
Singapore |
| Imprint: |
World Scientific Publishing Co Pte Ltd |
| Returns: |
Returnable |