• Home
  • second-order logic

second-order logic

extension of first-order logic allowing quantification over functions and relations

en-GB/sɪˈkɒnd - ˈɔːdə ˈlɒd͡ʒɪk/
en-US/ˈsɛkənd - ˈɑɹdɚ ˈlɑd͡ʒɪk/

Categories:

higher-order logic