Higher-order logic
id:
higher-order-logic-239-3102596
title:
Higher-order logic
text:
In mathematics and logic, a higher-order logic is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. The term "higher-order logic" is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is the theory of
brand slug:
wiki
category slug:
encyclopedia
description:
Formal system of logic
original url:
https://en.wikipedia.org/wiki/Higher-order_logic
date created:
date modified:
2023-12-05T10:50:26Z
main entity:
{"identifier":"Q1644136","url":"https://www.wikidata.org/entity/Q1644136"}
image:
fields total:
13
integrity:
14