The Free On-line Dictionary of Computing (30 December 2018):

classical logic

    Non-intuitionistic logic.

   (1995-04-13)