Skip to search formSkip to main contentSkip to account menu

Second-order predicate

Known as: Second order predicate 
In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate. The… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
  • Yong QiWeihua Li
  • 2009
  • Corpus ID: 45109169
The use of statistic to deal with the decision making in uncertain environment has been widely applied. On uncertain data that… 
2000
2000
A schema is an abstracted or a generalized knowledge to help with solving problems. A second-order predicate schema matching is a… 
1997
1997
Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the… 
1996
1990
1990
We prove that the second order predicate unification problem is undecidable by reducing the second order term unification problem… 
1988
1988
The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus… 
1988
1988
  • A. Steinberg
  • 1988
  • Corpus ID: 62583259
We propose a theory for modeling the semantic and pragmatic properties of natural language expressions used to refer. The sorts… 
1987
1987
Let EOA be the elementary ontology augmented by an additional axiom ∃S (S ɛ S), and let LS be the monadic second-order predicate… 
1972
1972
  • D. Rothenberg
  • 1972
  • Corpus ID: 9881117
A summary description (proof of theorems omitted): An adaptive pattern representation and recognition strategy for application to…