en mathematical logic

An English term in ConceptNet 5.8

Sources: Open Mind Common Sense contributors, CC-CEDICT 2017-10, JMDict 1.07, OpenCyc 2012, English Wiktionary, and Open Multilingual WordNet
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Related terms

  • cs matematická logika (n) ➜
  • en creative (a) ➜
  • en formal logic (n) ➜
  • en girard's paradox (n) ➜
  • en logicomathematical (a) ➜
  • en deductive ➜
  • en expressive ➜
  • en formal logic ➜
  • en logic ➜
  • en mathematics ➜
  • en power ➜
  • en productive (a) ➜
  • en recursion theory (n) ➜
  • en semicreative (a) ➜
  • it logica matematica (n) ➜

Synonyms

  • en symbolic logic (n, cognition) ➜
  • ja 数学的論理学 (n) ➜
  • ja 数理論理学 (n) ➜
  • en symbolic logic ➜
  • zh 数理逻辑 ➜
  • zh 數理邏輯 ➜

Terms with this context

  • en löwenheim skolem theorem (n) ➜
  • en paris harrington theorem (n) ➜
  • en unification (n) ➜

Word forms

  • en mathematical logics (n) ➜

Things with mathematical logic

  • en turkish language ➜

Derived from

  • en logic (n) ➜

Context of this term

  • en logic ➜

Links to other resources

  • umbel.org /umbel/sc/MathematicalLogic
  • en.wiktionary.org mathematical logic
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.