Дедуктив Л . ( логик зарурлыҡ һәм эҙмә-эҙлекле һығымталар тураһында теория ) классик ( ике мәғәнәлелеккә — әйтелгәндең хаҡлығына йәки ялғанлығына нигеҙләнә ) һәм классик булмаған Л . ( интуиционистик , күп мәғәнәле һ.б. ) бүленә .