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)

Related topics

Related topics

9 relations
Domain of discourseFirst-order logicPropositional functionPropositional variable

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
From Church and Prior to PSL
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the… 
2003
2003
Explicit versus implicit representations of subsets of the Herbrand universe
2001
2001
Semantics for Fuzzy Disjunctive Programs with Weak Similarity
In the paper, we present declarative, model, and fixpoint semantics for fuzzy disjunctive programs with weak similarity — sets of… 
2000
2000
Operational and Goal-Independent Denotational Semantics for Prolog with Cut
Highly Cited
1996
Highly Cited
1996
Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences
The paper describes an extension of well-founded semantics for logic programs with two types of negation. In this extension… 
Highly Cited
1993
Highly Cited
1993
Focus and Presupposition in Dynamic Interpretation
Structured meanings have evolved as a well-suited tool to describe the semantics of focus constructions. In this paper, the A… 
Highly Cited
1992
Highly Cited
1992
A Framework of Directionality for Proving Termination of Logic Programs
In this paper we propose a rich notion of directionality of predicates that combines modes and regular tree types. We provide a… 
1992
1992
Negation Elimination in Equational Formulae
An equational formula is a first order formula over an alphabet F of function symbols and the equality predicate symbol. Such… 
1989
1989
Non Σn axiomatizable almost strongly minimal theories
Recall that a theory is said to be almost strongly minimal if in every model every element is in the algebraic closure of a… 
Highly Cited
1963
Highly Cited
1963
An extension of the Craig-Lyndon interpolation theorem
In a work widely quoted and applied,3 Craig has shown that if A and C are any formulas of predicate logic such that A├C, then… 
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)