Functional Interpretation Of Logical Deduction, The (Advances In Logic 5)

Functional Interpretation Of Logical Deduction, The (Advances In Logic 5)

By: Dov M. Gabbay (author), Ruy J. G. B. de Queiroz (author), Anjolina G. de Oliveira (author)Hardback

Up to 2 WeeksUsually despatched within 2 weeks


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

  • ISBN13: 9789814360951
  • Format: Hardback
  • Number Of Pages: 300
  • ID: 9789814360951
  • ISBN10: 9814360953

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly