• system of logic
• logic
• logical system
• modal logic
• fuzzy logic
• propositional calculus
• boolean logic
• predicate calculus

symbolism  symbolise  symbolic logician  symbolic representation  symboliser  symbolical  symbolisation  symbolist  symbolically  symbolising