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 of 'labels' is useful to understand the proof-calculus
itself, and also to clarify its connections with model-theoretic
interpretations.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
