Documentation for rules and proofs of theorems

In this document I try to summarize rules and theorems giving an idea of a growing logical system through the modules.

https://docs.google.com/file/d/0B7TOuKlrAx6HRW1wZUdwbW5kOEk/

For a synthetic table of the logic:

https://skydrive.live.com/view.aspx?resid=F18522949EEBE213!154&app=Excel