🌐EnglishEnglishDeutschEspañolFrançaisItalianoPolskiPortuguêsSvenskaTürkçeРусскийالعربيةفارسی한국어中文日本語EntityQ176786· pop 23· linked from 247 articlesintuitionistic logicAlso known as constructive logicvarious systems of symbolic logicAvailable in 23 languagesEspañolFrançaisDeutsch中文日本語РусскийPortuguêsItalianoالعربيةArmenianConnectionspropositional calculusEntityprinciple of excluded middleEntityCategoriesConstructivism (philosophy of mathematics)IntuitionismLogic in computer scienceNon-classical logicSystems of formal logic