1. (noun) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

• formal logic
• mathematical logic

1. (noun) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

• boolean algebra
• boolean logic
• functional calculus
• predicate calculus
• fuzzy logic
• modal logic
• propositional calculus
• propositional logic

1. (noun) any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

• logic
• logical system
• system of logic