Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:15009723n
Noun Concept
JA
論理体系
EN
type of system Wikidata
Relations
Sources
IS A
形式体系
HAS PART
形式体系
解釈
HAS KIND
述語論理
様相論理
命題論理
ブール論理
EN
abstract logic
+5 relations
HAS INSTANCE
EN
epsilon calculus
バロウズ＝アバディ＝ニーダム理論
EN
NAND logic
EN
NOR logic
Μ計算
HAS QUALITY
無矛盾
STUDIED BY
論理学
Wikidata
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