Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,455,482 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Domain of discourse
First-order logic
Propositional function
Propositional variable
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
A Logical Proof of the Free Will Theorem
I. Reznikoff
2010
Corpus ID: 119581798
We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics…
Expand
2009
2009
Literal Projection and Circumscription – Extended Version , July 4 , 2009 –
C. Wernhard
2009
Corpus ID: 16861086
We develop a formal framework intended as a preliminary step for a single knowledge representation system that provides different…
Expand
2006
2006
Compositional Semantics for the Procedural Interpretation of Logic
M. H. Emden
International Conference on Logic Programming
2006
Corpus ID: 2558223
Semantics of logic programs has been given by proof theory, model theory and by fixpoint of the immediate-consequence operator…
Expand
2003
2003
Explicit versus implicit representations of subsets of the Herbrand universe
R. Pichler
Theoretical Computer Science
2003
Corpus ID: 44591501
2001
2001
Semantics for Fuzzy Disjunctive Programs with Weak Similarity
Dušan Guller
International Conference on Health Information…
2001
Corpus ID: 5505222
In the paper, we present declarative, model, and fixpoint semantics for fuzzy disjunctive programs with weak similarity — sets of…
Expand
1999
1999
Solving Equational Problems Efficiently
R. Pichler
CADE
1999
Corpus ID: 21276140
Equational problems (i.e.: first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality…
Expand
1998
1998
A Heuristic Approach to Detect Feature Interactions in Requirements
M. Heisel
,
J. Souquières
FIW
1998
Corpus ID: 14650097
We present a method to systematically detect feature interactions in requirements. The requirements are expressed as constraints…
Expand
1992
1992
Negation Elimination in Equational Formulae
Hubert Comon-Lundh
,
M. Fernández
International Symposium on Mathematical…
1992
Corpus ID: 40891697
An equational formula is a first order formula over an alphabet F of function symbols and the equality predicate symbol. Such…
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
1976
1976
Undecidability of the theory of abelian groups with a subgroup
W. Baur
1976
Corpus ID: 120639689
The theory of abelian groups with an additional predicate denoting a subgroup is undecidable. 0. Introduction. Let L be the first…
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