Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Concept and object
First-order predicate
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Statistical Second-Order Predicate: A Decision Model in Uncertain Dataset
Yong Qi
,
Weihua Li
Second International Symposium on Knowledge…
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…
Expand
2000
2000
Efficient Second-Order Predicate Schema Matching Algorithm
M. Harao
,
Keizou Yamada
,
Kouichi Hirata
2000
Corpus ID: 1531322
A schema is an abstracted or a generalized knowledge to help with solving problems. A second-order predicate schema matching is a…
Expand
1997
1997
LANGUAGE AND ITS MODELS
J. Peregrin
1997
Corpus ID: 56007103
Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the…
Expand
1996
1996
The expression of modality in Korean
A. Wymann
1996
Corpus ID: 60127189
1991
1991
An intelligent information system for in-flight emergency assistance
S. Feyock
,
S. Karamouzis
1991
Corpus ID: 18328306
1990
1990
The undecidability of the second order predicate unification problem
Gilles Amiot
Archive for Mathematical Logic
1990
Corpus ID: 39958760
We prove that the second order predicate unification problem is undecidable by reducing the second order term unification problem…
Expand
1988
1988
Set abstraction—An extension of all solutions predicate in logic programming language
T. Yokomori
New generation computing
1988
Corpus ID: 35305797
The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus…
Expand
1988
1988
Reference And Description In Natural Language
A. Steinberg
Defense, Security, and Sensing
1988
Corpus ID: 62583259
We propose a theory for modeling the semantic and pragmatic properties of natural language expressions used to refer. The sorts…
Expand
1987
1987
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
M. Takano
Studia Logica: An International Journal for…
1987
Corpus ID: 2043383
Let EOA be the elementary ontology augmented by an additional axiom ∃S (S ɛ S), and let LS be the monadic second-order predicate…
Expand
1972
1972
Predicate Calculus Feature Generation
D. Rothenberg
Formal Aspects of Cognitive Processes
1972
Corpus ID: 9881117
A summary description (proof of theorems omitted): An adaptive pattern representation and recognition strategy for application to…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE