The Functional Interpretation of Logical Deduction by UnknownThe Functional Interpretation of Logical Deduction by Unknown

The Functional Interpretation of Logical Deduction


Hardcover | October 31, 2011

Pricing and Purchase Info

$137.70 online 
$153.00 list price save 10%
Earn 689 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.
Title:The Functional Interpretation of Logical DeductionFormat:HardcoverDimensions:9.41 × 7.24 × 0.98 inPublished:October 31, 2011Publisher:World Scientific PublishingLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9814360953

ISBN - 13:9789814360951

Look for similar items by category: