dictionary · eo1.org

second-order logic

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

  1. A [[formal system]] which extends [[first-order logic]] by allowing [[quantification]] over [[relations]] between [[member]]s of the [[universe]].

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.