• logical system
• system of logic
• logic
• modal logic
• propositional calculus
• functional calculus
• predicate calculus
• boolean algebra

formalistic  formalism  formalin  formalise  formal semantics  formalities  formalised  formalisation  formaldehyde  formalist