FAQ

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

Related topics

Related topics

8 relations
Domain of discourseFirst-order logicPropositional functionPropositional variable
(More)

Related mentions per year

Related mentions per year

1941-2018
19401960198020002020
Predicate variable
Quantifier
Universal quantification
First-order logic
Domain of discourse
Well-formed formula

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Boolean unification with predicates
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
Taming Control Divergence in GPUs through Control Flow Linearization
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
Partially Ordered Connectives and Sum11 on Finite Models
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
A descriptive Mode Inference for Logic
  • 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
Realizability Interpretation of Generalized Inductive Definitions
Kobayashi, S. and M. Tatsuta, Realizability interpretation of generalized inductive definitions, Theoretical Computer Science 131… (More)
Is this relevant?
1994
1994
Extending Single Assertion Speciication Approach Nondeterministic Programs; Total Correctness
  • 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
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
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
Set abstraction—An extension of all solutions predicate in logic programming language
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
Improving the Efficiency of Higher Order Unification
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
Set Variables
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?