Formal Systems

These are mathematical systems used to represent reasoning and argumentation.