Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14401372n
Noun Concept
SYL
No term available
EN
(logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction. Open English WordNet
Relations
Sources
IS A
EN
arrangement
EN
system
PART OF
EN
logical system
HAS KIND
EN
axiomatic system
EN
formal language
EN
lambda calculus
EN
type system
EN
type theory
+5 relations
HAS INSTANCE
EN
Hoare logic
EN
situation calculus
DIFFERENT FROM
EN
axiomatic system
FABRICATION METHOD
EN
formalization
HAS QUALITY
EN
completeness
EN
consistency

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