Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00035928n
Noun Concept
SYL
No term available
EN
Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity WordNet 3.0
Relations
Sources
IS A
EN
logic
EN
logic
HAS PART
EN
predicate calculus
EN
modal logic
EN
epsilon calculus
EN
Gödel's completeness theorem
EN
judgment
+12 relations
PART OF
EN
mathematics
HAS KIND
EN
Boolean logic
EN
predicate calculus
EN
fuzzy logic
EN
modal logic
EN
propositional logic
+10 relations
HAS INSTANCE
EN
signature
DE
Lokalität
HAS QUALITY
EN
quantifier
USED BY
EN
mathematical proof

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