Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02772050n
Noun Concept
Categories: Systems of formal logic, All articles with vague or ambiguous time, Articles with short description, Charles Sanders Peirce
EN
second-order logic  existential second-order logic  Henkin model  Henkin semantics  History of second-order logic
EN
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Wikipedia
Definitions
Relations
Sources
EN
In logic and mathematics, second-order logic is an extension of first-order logic, which itself is an extension of propositional logic. Wikipedia
An extension of predicate logic Wikipedia Disambiguation
A formal system which extends first-order logic by allowing quantification over relations between members of the universe. Wiktionary
IS A
higher-order logic
Wikipedia
EN
second-order logic
Wikidata
EN
second-order logic
Wiktionary
EN
second-order logic
Wikipedia Redirections
EN
existential second-order logic, Henkin model, Henkin semantics, History of second-order logic, monadic second order, Monadic second order logic, second-order predicate calculus, second order logic, Second Order Logical Language, Second order predicate calculus, semantics of second-order logic
Wikidata Alias
EN
second-order predicate logic

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License