ConceptNet 5: symbolic logic

Synonyms

en formal logic ^{(n, cognition)} ➜
en mathematical logic ^{(n, cognition)} ➜
fa منطق ریاضی ^{(n, cognition)} ➜
fa منطق مجرد ^{(n, cognition)} ➜
fi formaalinen logiikka ^{(n, cognition)} ➜
fi matemaattinen logiikka ^{(n, cognition)} ➜
fi symbolinen logiikka ^{(n, cognition)} ➜
fr logique mathématique ^{(n, cognition)} ➜
id logika matematika ^{(n, cognition)} ➜
ja 形式論理 ^{(n, cognition)} ➜
ja 形式論理学 ^{(n, cognition)} ➜
ja 数学的論理学 ^{(n, cognition)} ➜
ja 記号論理学 ^{(n, cognition)} ➜
ms logik matematik ^{(n, cognition)} ➜
pt Lógica matemática ^{(n, cognition)} ➜
th คณิตตรรกศาสตร์ ^{(n, cognition)} ➜

Types of symbolic logic

en Boolean logic ^{(n, cognition)} ➜
en fuzzy logic ^{(n, cognition)} ➜
en modal logic ^{(n, cognition)} ➜
en predicate calculus ^{(n, cognition)} ➜
en propositional logic ^{(n, cognition)} ➜

symbolic logic is a type of…

en logic ^{(n, cognition)} ➜

Links to other resources

wordnet-rdf.princeton.edu 106174381-n