Functional Interpretation Of Logical Deduction The by Anjolina G De Oliveira, Hardcover | Indigo Chapters

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. | Functional Interpretation Of Logical Deduction The by Anjolina G De Oliveira, Hardcover | Indigo Chapters