Synset:formal logic symbolic logic
Hypernyms:logic logical system system of logic
Inherited Hypernyms:symbolic logiclogicsystemmethodknow-howabilitycognitionpsychological featureabstractionentity
Direct Hyponyms:Boolean algebraBoolean logicfunctional calculusfuzzy logicmodal logicpredicate calculuspropositional calculuspropositional logic
Full Hyponyms:
alethic logicboolean logicdeontic logicdoxastic logicepistemic logicfuzzy logicmodal logicpredicate calculuspropositional logic