BabelNet

bn:00932534n

Noun Concept

Categories: Construtivismo matemático, Lógica matemática, Lógica não clássica, Ciência da computação

lógica intuicionista Logica Construtivista Logica intuicionista lógica construtivista lógica construtiva

Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer. Wikipedia

Definitions

Relations

Sources

Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer. Wikipedia

IS A

termo técnico

HAS KIND

lógica linear

lógica intermediária

DESCRIBED BY SOURCE

Enciclopédia Soviética Arménia

DIFFERENT FROM

intuicionismo

FACET OF

lógica

STUDIED BY