Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00932534n
Noun Concept
Categories: Théorie de la démonstration, Théorie des types, Logique non classique, Logique mathématique, Intuitionnisme
FR
logique intuitionniste  Logique intuitioniste  logique constructive
FR
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
Definitions
Relations
Sources
FR
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
Logique mathématique Wikidata
IS A
terme technique
HAS KIND
logique linéaire
EN
intermediate logic
DESCRIBED BY SOURCE
Encyclopédie soviétique arménienne
DIFFERENT FROM
intuitionnisme
FACET OF
logique
STUDIED BY
logique
Wikipedia
FR
logique intuitionniste
Wikidata
FR
logique intuitionniste
Wikipedia Redirections
FR
Logique intuitioniste
Wikipedia Translations
FR
logique constructive, logique intuitionniste

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License