Functional Interpretation Of Logical Deduction, The - De Oliveira, Anjolina G (Univ Federal De Pernambuco (Ufpe), Brazil) a Gabbay, Dov M (King's College London, Uk) a De Queiroz, Ruy J G B (Univ Federal De Pernambuco (Ufpe), Brazil)

By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, this book 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.