|
|
books
| book details |
FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE
By (author) Ruy J G B de Queiroz, By (author) Anjolina G de Oliveira, By (author) Dov M Gabbay
|
| on special |
normal price: R 3 477.95
Price: R 3 303.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | World Scientific Publishing Co Pte Ltd
Published date | 2 Nov 2011
Language |
Format | Hardback
Pages | 300
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-9-8143-6095-1
Readership Age |
BISAC | computers / machine theory
| other options |
Normally shipped |
Readership Age |
Normal Price | R 4 386.95
Price | R 4 167.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
Emil Coetzee, a civil servant in his fifties, is washing blood off his hands when the ceasefire is announced.
|
This is indeed a story of mercy and the redemption it offers.
|
|
|
|
