Content deleted Content added
Importing Wikidata short description: "Extension of first-order logic, which itself is an extension of propositional logic" (Shortdesc helper) |
say what it is, not what it's like |
||
Line 1:
{{short description|
In [[logic]] and [[mathematics]] '''second-order logic''' is an extension of [[first-order logic]], which itself is an extension of [[propositional logic]].<ref>Shapiro (1991) and Hinman (2005) give complete introductions to the subject, with full definitions.</ref> Second-order logic is in turn extended by [[higher-order logic]] and [[type theory]].
| |||