BabelNet

bn:00932534n

Noun Concept

المنطق intuitionistic منطق البناء

Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. Wikipedia

Relations

Sources

IS A

مصطلح تقني

HAS KIND

linear logic

intermediate logic

DESCRIBED BY SOURCE

الموسوعة السوفيتية الأرمينية

DIFFERENT FROM

حدسية

FACET OF

علم المنطق

STUDIED BY

علم المنطق

Wikipedia Translations

المنطق intuitionistic, منطق البناء