Functional Interpretation Of Logical Deduction, The - Advances In Logic 5 (Hardback)
  • Functional Interpretation Of Logical Deduction, The - Advances In Logic 5 (Hardback)
zoom

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

(author), (author), (author)
£91.00
Hardback 300 Pages / Published: 02/11/2011
  • We can order this

Usually dispatched within 2 weeks

  • This item has been added to your basket
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.

Publisher: World Scientific Publishing Co Pte Ltd
ISBN: 9789814360951
Number of pages: 300
Weight: 703 g
Dimensions: 231 x 155 x 20 mm

You may also be interested in...

The End of Error
Added to basket
The Algorithm Design Manual
Added to basket
£55.07
Mixed media product
The Art of Computer Programming
Added to basket
Bayesian Methods for Hackers
Added to basket
How to Think About Algorithms
Added to basket
The Elements of Statistical Learning
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Coding Theory
Added to basket
£44.99
Paperback
Networks
Added to basket
£52.00
Hardback
The Lattice Boltzmann Equation
Added to basket
Concrete Mathematics
Added to basket
Foundation Mathematics
Added to basket
Sets, Logic and Maths for Computing
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.