Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,566,343 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Domain of discourse
First-order logic
Propositional function
Propositional variable
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Variation and Grammaticalisation in Bantu Complex Verbal Constructions: The Dynamics of Information Growth in Swahili, Rangi and SiSwati
Hannah Gibson
,
L. Marten
2016
Corpus ID: 56441375
Many Bantu languages have a system of complex verbal constructions, where several verbal forms combine to describe a single event…
Expand
2010
2010
A Logical Proof of the Free Will Theorem
I. Reznikoff
2010
Corpus ID: 119581798
We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics…
Expand
2009
2009
Games for Truth
P. Welch
Bulletin of Symbolic Logic
2009
Corpus ID: 14765676
Abstract We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all…
Expand
2009
2009
Literal Projection and Circumscription – Extended Version , July 4 , 2009 –
C. Wernhard
2009
Corpus ID: 16861086
We develop a formal framework intended as a preliminary step for a single knowledge representation system that provides different…
Expand
2002
2002
Generalizing Def and Pos to Type Analysis
P. Hill
,
F. Spoto
Journal of Logic and Computation
2002
Corpus ID: 39126617
This paper is concerned with the type analysis of logic programs where, by type, we mean a property closed under instantiation…
Expand
2002
2002
Restricted truth predicates in first-order logic
Thomas Bolander
2002
Corpus ID: 16928014
It is well-known that there exist consistent first-order theories that become inconsistent when we add Tarski’s schema T. This is…
Expand
1997
1997
On the Complexity of Languages Definable by Hereditary Elementary Formal Systems
Daisuke Ikeda
,
Hiroki Arimura
International Conference on Developments in…
1997
Corpus ID: 17939198
An elementary formal system (EFS) is a logical system that generates a language. In this paper, we consider a subclass of EFS…
Expand
1996
1996
A generalization of Fagin's theorem
J. A. Medina
,
N. Immerman
Proceedings 11th Annual IEEE Symposium on Logic…
1996
Corpus ID: 38182026
Fagin's theorem characterizes NP as the set of decision problems that are expressible as second-order existential sentences, i.e…
Expand
1994
1994
Fuzzy Analogy Based Reasoning and Classification of Fuzzy Analogies
T. Iwatani
,
S. Tano
,
A. Inoue
,
W. Okamoto
AII/ALT
1994
Corpus ID: 32004666
Conventional research on analogical reasoning (AR, for short) theory has not yet addressed the management of fuzzy matching…
Expand
1976
1976
Undecidability of the theory of abelian groups with a subgroup
W. Baur
1976
Corpus ID: 120639689
The theory of abelian groups with an additional predicate denoting a subgroup is undecidable. 0. Introduction. Let L be the first…
Expand