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.
2012
2012
COMPONENT PROPERTIES OF FORGETTING AND PROGRESSION IN THE SITUATION CALCULUS
In many tasks related to reasoning about consequences of a logical theory, it is desirable to decompose the theory into a number… 
2010
2010
A Logical Proof of the Free Will Theorem
We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics… 
2009
2009
Games for Truth
Abstract We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all… 
Review
2006
Review
2006
Automating the analysis of design component contracts
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular… 
2001
2001
An axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel Theory
Abstract We present an axiomatic framework for nonstandard analysis—the Nonstandard Class Theory (NCT) which extends von Neumann… 
1999
1999
Solving Equational Problems Efficiently
Equational problems (i.e.: first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality… 
1998
1998
The WHILE Hierarchy of Program Schemes Is Infinite
We exhibit a sequence S n (n ≥ 0) of while program schemes, i. e., while programs without interpretation, with the property that… 
1996
1996
A generalization of Fagin's theorem
Fagin's theorem characterizes NP as the set of decision problems that are expressible as second-order existential sentences, i.e… 
1987
1987
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
Let EOA be the elementary ontology augmented by an additional axiom ∃S (S ɛ S), and let LS be the monadic second-order predicate… 
1976
1976
Undecidability of the theory of abelian groups with a subgroup
The theory of abelian groups with an additional predicate denoting a subgroup is undecidable. 0. Introduction. Let L be the first… 
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)