Noun mathematical logic has 1 sense
  1. symbolic logic, mathematical logic, formal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
    --1 is a kind of logic, logical system, system of logic
    --1 has particulars:
     Boolean logic, Boolean algebra; propositional logic, propositional calculus; predicate calculus, functional calculus; modal logic; fuzzy logic
,