The Free On-line Dictionary of Computing (19 January 2023):

classical logic

    Non-intuitionistic logic.

   (1995-04-13)