Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:15009723n
Noun Concept
ES
sistema lógico  sistema deductivo
ES
Sistema formal dedicado al razonamiento y a las deducciones lógicas Wikidata
Definitions
Relations
Sources
ES
Sistema formal dedicado al razonamiento y a las deducciones lógicas Wikidata
IS A
sistema formal
HAS PART
sistema formal
interpretación
HAS KIND
lógica de primer orden
lógica modal
lógica proposicional
lógica binaria
EN
abstract logic
+5 relations
HAS INSTANCE
EN
epsilon calculus
lógica Burrows-Abadi-Needham
lógica NAND
lógica NOR
EN
modal μ-calculus
HAS QUALITY
consistencia
STUDIED BY
lógica
Wikidata
ES
sistema lógico
Wikidata Alias
ES
sistema deductivo
Wikipedia Translations
ES
sistema lógico

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