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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

We give a purely logical proof of the J. Conway and S. Kochen Free Will theorem concerning undeterminacy in Quantum Mechanics…

2009

Abstract We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all…

2009

We develop a formal framework intended as a preliminary step for a single knowledge representation system that provides different…

2002

This paper is concerned with the type analysis of logic programs where, by type, we mean a property closed under instantiation…

2002

It is well-known that there exist consistent first-order theories that become inconsistent when we add Tarski’s schema T. This is…

1999

This paper is concerned with noun incorporation (NI) in Chukchi, a Kamchatkan language spoken in Siberia. The data discussed are…

1997

An elementary formal system (EFS) is a logical system that generates a language. In this paper, we consider a subclass of EFS…

1996

Fagin's theorem characterizes NP as the set of decision problems that are expressible as second-order existential sentences, i.e…

1993

1976

The theory of abelian groups with an additional predicate denoting a subgroup is undecidable. 0. Introduction. Let L be the first…