(Q1644136)

English

higher-order logic

form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics

HOL
higher order simple predicate logic

In more languages

edit

Statements

subclass of

predicate logic

0 references

Identifiers

1 reference

28 October 2013

Mathematics Subject Classification ID

03B15

0 references

Microsoft Academic ID

0 references

0 references

1 reference

26 January 2022

https://docs.openalex.org/download-snapshot/snapshot-data-format

1 reference

ScienceDirect topic ID

computer-science/higher-order-logic

0 references

Stanford Encyclopedia of Philosophy ID

logic-higher-order

0 references

(Q1644136)

higher-order logic

Statements

Identifiers

Sitelinks

Wikipedia(13 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)