second-order logic

Noun

Meaning

English Wikipedia has an article on:second-order logicWikipedia
second-order logic (usually uncountable, plural second-order logics)

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

Source: en.wiktionary.org

Close letter words and terms

second-order equation second-order fluid second-order leveling second-order phase transition second-order predicate second-order reaction