Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:15009723n
Noun Concept
Categories: Logique formelle
FR
système logique  système de déduction  système déductif
FR
Un système logique est un système formel dédié au raisonnement et aux déductions logiques. Wikipedia
Definitions
Relations
Sources
FR
Un système logique est un système formel dédié au raisonnement et aux déductions logiques. Wikipedia
Système formel dédié au raisonnement et aux déductions logiques Wikidata
IS A
système formel
HAS PART
système formel
interprètation
HAS KIND
calcul des prédicats
logique modale
calcul des propositions
principe de bivalence
EN
abstract logic
+5 relations
HAS INSTANCE
Epsilon de Hilbert
EN
Burrows–Abadi–Needham logic
EN
NAND logic
EN
NOR logic
mu-calcul
HAS QUALITY
cohérence
STUDIED BY
logique
Wikipedia
FR
système logique
Wikidata
FR
système logique
Wikipedia Redirections
FR
système de déduction
Wikidata Alias
FR
système déductif
Wikipedia Translations
FR
système logique

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