English Explanatory Dictionary

second-order logic

English dictionary entry

Meanings

noun
  1. A formal system which extends first-order logic by allowing quantification over relations between members of the universe.

Word forms

second-order logic second-order logics

Derived words

monadic second-order logic
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on S Russian dictionary Dahl dictionary