Categorial Type Logics


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)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics