Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

9 relations
Domain of discourseFirst-order logicPropositional functionPropositional variable
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Classical System of Martin-Löf's Inductive Definitions Is Not Equivalent to Cyclic Proof System
A cyclic proof system, called $$ \mathtt{CLKID}^\omega $$, gives us another way of representing inductive definitions and… Expand
Is this relevant?
2011
2011
A relational perspective of attribute reduction in rough set-based data analysis
Attribute reduction is very important in rough set-based data analysis (RSDA) because it can be used to simplify the induced… Expand
  • table 1
  • table 2
  • figure 1
Is this relevant?
2009
2009
Games for truth
We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for… Expand
Is this relevant?
2003
2003
On the complexity of equational problems in CNF
Equational problems (i.e. first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality… Expand
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Dialogue Models for Inquiry and Transaction
set of n-tuples description Vw(λ~x.φ) {w | Vw(λ~x.φ) = E} (E ⊆ Dn) question proposition partition answerhood {v | Vv(λ~x.φ) = Vw… Expand
  • figure 1.3
  • figure 1.4
  • figure 1.5
  • figure 1.6
  • figure 1.7
Is this relevant?
1998
1998
A Heuristic Approach to Detect Feature Interactions in Requirements
We present a method to systematically detect feature interactions in requirements. The requirements are expressed as constraints… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
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… Expand
Is this relevant?
1989
1989
Non Sigman 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… Expand
Is this relevant?
1963
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… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE