Skip to search formSkip to main contentSkip to account menu

Predicate variable

Known as: Predicate, Predicate symbol 
In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics… 
2009
2009
We develop a formal framework intended as a preliminary step for a single knowledge representation system that provides different… 
2006
2006
Semantics of logic programs has been given by proof theory, model theory and by fixpoint of the immediate-consequence operator… 
2001
2001
In the paper, we present declarative, model, and fixpoint semantics for fuzzy disjunctive programs with weak similarity — sets of… 
1999
1999
Equational problems (i.e.: first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality… 
1998
1998
We present a method to systematically detect feature interactions in requirements. The requirements are expressed as constraints… 
1992
1992
An equational formula is a first order formula over an alphabet F of function symbols and the equality predicate symbol. Such… 
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… 
1976
1976
The theory of abelian groups with an additional predicate denoting a subgroup is undecidable. 0. Introduction. Let L be the first…