Content deleted Content added
→Examples: typo Tags: Mobile edit Mobile web edit |
Importing Wikidata short description: "Extension of first-order logic, which itself is an extension of propositional logic" (Shortdesc helper) |
||
Line 1:
{{short description|Extension of first-order logic, which itself is an extension of propositional logic}}
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]].
| |||