Source : Free On-Line Dictionary of Computing

intuitionist logic
     
         Incorrect term for "{intuitionistic logic}".
     
        (1999-11-24)