Predicate variable

Known as: 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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1970-2016
024619702016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
In this article, we deal with the following problem which we call Boolean unification with predicates: For a given formula F[X… (More)
Is this relevant?
2014
2014
Branch divergence is a very commonly occurring performance problem in GPGPU in which the execution of diverging branches is… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2006
2006
In this paper we take up the study of Henkin quantifiers with boolean variables [4] also known as partially ordered connectives… (More)
Is this relevant?
1997
1997
  • 1997
In general, an n-ary predicate (relation) describes the relationship among its arguments, and such that no argument has to be of… (More)
  • figure 1
Is this relevant?
1994
1994
Kobayashi, S. and M. Tatsuta, Realizability interpretation of generalized inductive definitions, Theoretical Computer Science 131… (More)
Is this relevant?
1994
1994
  • Andrzej M. Borzyszkowskiy
  • 1994
The well known methodology of veriication of sequential imperative programs is Hoare's logic. S. Sokooowski presented an… (More)
Is this relevant?
1987
1987
Let .EOA be the e lementary ontology augmented by an addi t ional axiom 3S (S 9 S), and let ~ 8 be the monadic second-order p red… (More)
Is this relevant?
1987
1987
The concept of set abstraction is introduced as a simple analogy of that of lambda abstraction in the theory of lambda calculus… (More)
  • figure 1
  • figure 2
Is this relevant?
1977
1977
The sources o f i n e f f i c i e n c y i n c u r r e n t l y e x i s t i n g h i g h e r o rder u n i f i c a t i o n a l g o r… (More)
Is this relevant?
1977
1977
A procedure is described that gives values to set variables in automatic theorem proving. The result is that a theorem is thereby… (More)
Is this relevant?