Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:15009723n
Noun Concept
EN
logical system  deductive system  logic
EN
type of system Wikidata
Definitions
Relations
Sources
EN
type of system Wikidata
IS A
formal system
HAS PART
formal system
interpretation
HAS KIND
predicate calculus
modal logic
propositional logic
principle of bivalence
abstract logic
+5 relations
HAS INSTANCE
epsilon calculus
Burrows–Abadi–Needham logic
NAND logic
NOR logic
modal μ-calculus
HAS QUALITY
consistency
STUDIED BY
logic
Wikidata
EN
logical system
Wikidata Alias
EN
deductive system, logic

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