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… 
2003
2003
Explicit versus implicit representations of subsets of the Herbrand universe
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… 
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… 
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… 
1993
1993
Significant parts and identity of artifacts
  • A. Tzouvaras
  • Notre Dame J. Formal Log.
  • 1993
  • Corpus ID: 16904039
By assigning numerical values to the atomic parts of a given artifact and, then, assigning the maximum of them to the artifact… 
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)