formal logic

noun2

1. •
   Mathematical logic.

   • Part of their legacy was the attack on formal logic, which went far to bring about the collapse of logical studies in Russia. — 1978
2. •
   A particular logical calculus.