Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00932534n
Noun Concept
Categories: 非古典論理, 形式論理体系, 数学に関する記事, 直観主義
JA
直観主義論理  直観論理
JA
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 Wikipedia
Definitions
Relations
Sources
JA
直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 Wikipedia
IS A
術語
HAS KIND
線形論理
中間論理
DESCRIBED BY SOURCE
アルメニア・ソビエト百科事典
DIFFERENT FROM
直観主義
FACET OF
論理学
STUDIED BY
論理学
Wikipedia
JA
直観主義論理
Wikidata
JA
直観主義論理
Wikidata Alias
JA
直観論理

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