logical system, system of logic, logic - a system of reasoning

Boolean algebra, Boolean logic - a system of symbolic logic devised by George Boole; used in computers

propositional calculus, propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

functional calculus, predicate calculus - a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

modal logic - a system of logic whose formal properties resemble certain moral and epistemological concepts

fuzzy logic - a form of mathematical logic in which truth can assume a continuum of values between 0 and 1