Categorial Type Logics

Abstract

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)

Topics

Figures and Tables

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

Slides referencing similar topics