PhD Thesis

Reasoning with Polarity in Categorial Type Logic