Synset:logic logical system
Derivationally Related Form:logisticianlogician
Hypernyms:system system of rules
Inherited Hypernyms:logicsystemmethodknow-howabilitycognitionpsychological featureabstractionentity
Direct Hyponyms:Aristotelian logicformal logicmathematical logicsymbolic logic
Full Hyponyms:
alethic logicaristotelian logicboolean logicdeontic logicdoxastic logicepistemic logicfuzzy logicmodal logicpredicate calculuspropositional logicsymbolic logic