EntityQ176786· pop 23· linked from 247 articlesintuitionistic logicSign in to savevarious systems of symbolic logicConnectionspropositional calculusEntityprinciple of excluded middleEntityfirst-order logicEntityconstructivismEntitythree-state logicEntityKripke semanticsEntityfunctional completenessEntityHilbert systemEntityintermediate logicEntityBrouwer–Heyting–Kolmogorov interpretationEntitylogicEntityInternational Standard Book NumberEntityDavid HilbertEntityGrenobleEntitysyntaxEntityKurt GödelEntitydigital object identifierEntityInternational Standard Serial NumberEntityBoolean algebraEntityOCLC, Inc.EntityCategoriesConstructivism (philosophy of mathematics)IntuitionismLogic in computer scienceNon-classical logicSystems of formal logic