Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:15009723n
Noun Concept
IT
sistema logico
IT
tipo di sistema Wikidata
Definitions
Relations
Sources
IT
tipo di sistema Wikidata
IS A
sistema formale
HAS PART
sistema formale
interpretazione
HAS KIND
teoria del primo ordine
logica modale
logica proposizionale
principio di bivalenza
EN
abstract logic
+5 relations
HAS INSTANCE
EN
epsilon calculus
EN
Burrows–Abadi–Needham logic
EN
NAND logic
EN
NOR logic
μ-calcolo
HAS QUALITY
coerenza
STUDIED BY
logica
Wikidata
IT
sistema logico
Wikipedia Translations
IT
sistema logico

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