aristotlean logic, formal logic, mathematical logic, symbolic logic
system, system of rules
logic, logical system