Logical system

A system of reasoning