BabelNet

bn:00932534n

Noun Concept

ενορατική λογική εποικοδομητική λογική

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

γραμμική λογική

intermediate logic

DESCRIBED BY SOURCE

Αρμένικη Σοβιετική Εγκυκλοπαίδεια

DIFFERENT FROM

intuitionism

FACET OF

λογική

STUDIED BY

λογική

Wikipedia Translations

ενορατική λογική, εποικοδομητική λογική