mathematical logic(n = noun.cognition) formal logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity;
is a kind of logic, logical system, system of logic
has particulars: boolean algebra, boolean logic, propositional calculus, propositional logic, functional calculus, predicate calculus, modal logic, fuzzy logic

alethic logic, aristotelian logic, boolean logic, chop logic, deontic logic, doxastic logic, epistemic logic, formal logic, fuzzy logic, logic, logic bomb, logic chopping, logic diagram, logic element, logic gate, logic operation, logic programing, logic programming, mathematical, mathematical function, mathematical group, mathematical notation, mathematical operation, mathematical process, mathematical product, mathematical proof, mathematical relation, mathematical space, mathematical statement, mathematical statistician, mathematical symbol, modal logic, propositional logic, symbolic logic, system of logic