Preferred language:

This is the default search language used by BabelNet
Select the main languages you wish to use in BabelNet:
Selected languages will be available in the dropdown menus and in BabelNet entries
Select all

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

all preferred languages
    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09

  المنطق intuitionistic · منطق البناء From automatic translation

 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

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: 形式逻辑系统, 数理逻辑

  直觉主义逻辑 · 构造性逻辑 · 直觉逻辑

直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。 Wikipedia

DESCRIBED BY SOURCE
    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: Constructivism (mathematics), Intuitionism, Logic in computer science, Non-classical logic...

  Intuitionistic logic · constructive logic · Constructivist logic · Intuitionist logic · Intuitionistic Prop Calc

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

More definitions


Logic Wikidata

DESCRIBED BY SOURCE
    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: Intuitionnisme, Logique, Logique mathématique, Logique non classique...

  Logique intuitionniste · Logique intuitioniste

La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Wikipedia

More definitions


Logique mathématique Wikidata

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: Erkenntnistheorie

  Intuitionismus

Intuitionismus bezeichnet unterschiedliche philosophische, mathematische und teilweise auch psychologische Positionen, die der Intuition eine Priorität einräumen. Wikipedia

DESCRIBED BY SOURCE
    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09

  ενορατική λογική · εποικοδομητική λογική From automatic translation

 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

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09

  לוגיקה אינטואיטיבית

 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

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09

  intuitionistic तर्क · रचनात्मक तर्क From automatic translation

 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

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09

  Logica intuizionista · Logica costruttiva · Logica intuizionistica

La logica intuizionista, o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico. Wikipedia

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: 形式論理体系, 数学に関する記事, 直観主義, 非古典論理

  直感的論理 · 直観主義論理 · 直観論理

直観主義論理または直観論理(英: intuitionistic logic)、あるいは構成的論理(英: constructive logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 Wikipedia

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: Математическая логика, Неклассическая логика

  Интуиционистское исчисление высказываний · Интуиционистская логика · Интуиционистское исчисление предикатов

Интуициони́стское исчисле́ние выска́зываний, называемое иногда Интуициони́стской ло́гикойформальная система, отражающая некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Wikipedia

    •     bn:00932534n     •     NOUN     •     Concept    •     Updated on 2019/11/09     •     Categories: Artículos con identificadores GND, Sistemas lógicos

  lógica constructiva · Lógica intuicionista · logica intuicionista

La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para el proyecto intuicionista de Brouwer. Wikipedia


 

Translations

المنطق intuitionistic, منطق البناء
直觉主义逻辑, 构造性逻辑, 直觉逻辑
intuitionistic logic, constructive logic, constructivist logic, intuitionist logic, intuitionistic prop calc, intuitionistic propositional calculus
logique intuitionniste, logique intuitioniste, logique constructive
intuitionismus, intuitionistic logik, konstruktive logik
ενορατική λογική, εποικοδομητική λογική
לוגיקה אינטואיטיבית, היגיון intuitionistic
intuitionistic तर्क, रचनात्मक तर्क
logica intuizionista, logica costruttiva, logica intuizionistica
直感的論理, 直観主義論理, 直観論理
интуиционистское исчисление высказываний, Интуиционистская логика, интуиционистское исчисление предикатов, интуиционистской логики, конструктивной логики
lógica constructiva, lógica intuicionista, logica intuicionista

Sources

Translations from Wikipedia sentences

المنطق intuitionistic, منطق البناء
logique constructive, logique intuitionniste
intuitionistic logik, konstruktive logik
ενορατική λογική, εποικοδομητική λογική
היגיון intuitionistic
intuitionistic तर्क, रचनात्मक तर्क
logica costruttiva, logica intuizionista
интуиционистской логики, конструктивной логики
lógica constructiva, lógica intuicionista
1 source | 2 senses
3 sources | 5 senses
3 sources | 9 senses
4 sources | 6 senses
3 sources | 4 senses
1 source | 2 senses
2 sources | 2 senses
1 source | 2 senses
4 sources | 6 senses
2 sources | 3 senses
4 sources | 6 senses
4 sources | 9 senses

Other forms

BabelNet

intuitionistic propositional logic, intuitionistic, constructive
intuitionnistes, intuitionniste, intuitionnisme
intuitionistische, Intuitionist, Intuitionisten, intuitionistischen, intuitionistischer, intuitionistischen Logik
直観主義命題論理

External Links