Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00036829n
Noun Concept
SYL
No term available
EN
A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) WordNet 3.0
English:
philosophy
Relations
Sources
IS A
EN
symbolic logic
EN
mathematical theory
EN
predicate calculus
EN
logical system
HAS PART
EN
predicate calculus
EN
higher-order logic
EN
institutional model theory
DE
Matrix
EN
quantification
PART OF
EN
symbolic logic
EN
predicate calculus
EN
logic
HAS KIND
EN
predicate calculus
EN
zeroth-order logic
EN
higher-order logic
Entscheidungsproblem
DESCRIBED BY SOURCE
EN
Armenian Soviet Encyclopedia
DIFFERENT FROM
EN
predicate calculus
STUDIED BY
EN
symbolic logic
USES
EN
quantifier

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