perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles. One obtains a scala of labeling regimes depending on the degree of autonomy between the formula component and the label component of the basic declarative units. At the conservative end of the spectrum, the label simply keeps a… (More)