propositional logic Synonyms

propositional calculus formal logic computational logic dynamic logic higher-order logic elementary logic first-order deduction first-order formalism first-order language first-order predicate calculus first-order reasoning first-order theory quantified logic predicate logic fuzzy logic deontic logic epistemic logic classical logic intuitionistic logic constructive logic first-order logic FOL intensional logic linear logic