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 and the analytic a priori

Computability and differential models of nature 

Hegel and Modern Topology

And of course a book about TPC and TPP as well as a book about philosophical anthropology.