en second order logic

An English term in ConceptNet 5.8

Source: English Wiktionary
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Related terms

  • en predicate logic (n) ➜
  • en first order logic ➜
  • en formal system ➜
  • en member ➜
  • en quantification ➜
  • en relations ➜
  • en universe ➜
  • mul mso ➜
  • mul so ➜

Word forms

  • en second order logics (n) ➜

Derived from

  • en second order (a) ➜

second order logic is a type of…

  • en predicate logic (n) ➜

Links to other resources

  • en.wiktionary.org second-order 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.