WordNet: formal logic, mathematical 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

• hypernym logic, logical system, system of logic

• hyponym Boolean algebra, Boolean logic

• hyponym propositional calculus, propositional logic

• hyponym functional calculus, predicate calculus

• hyponym modal logic

• hyponym fuzzy logic

formal logic

• (suomi) formaalinen logiikka (synonyymi)

mathematical logic

• (suomi) matemaattinen logiikka (synonyymi)

symbolic logic

• (suomi) symbolinen logiikka (synonyymi)