Papers

To be published: 

Aristotle's Second-Order Logic and Natural Deduction 

On the Various Translations between Classical, Intuitionistic and Linear Logic

On the nature of Kant's Logic in the Critique of Pure Reason  

Almost ready:

Natural Term Logic

Preprints (work in progress)

Computability, the analytic a priori and differential models of nature

Hegel and Modern Topology

And of course the book about TPC, TPP and the philosophies of logic and language.