The Functional Interpretation of Logical Deduction

ISBN-13: 9789814360951 / Angielski / Twarda / 2012 / 300 str.

Ruy J G B de Queiroz

Opis

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.