symbolic logic

(noun) mathematical logic

formal logic
logic (generic term)
logical system (generic term)
system of logic (generic term)