Functional interpretation of logical deduction, the
Auteur :
De Oliveira, Anjolina G / Gabbay, Dov M / De Queiroz, Ruy J G B
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789814360951
Date de publication :
2 nov. 2011
Langue :
Anglais
Pays d'origine :
Singapour
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.