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.

2016

Algorithms based on first-order knowledge compilation are currently the state-of-the-art for lifted inference. These algorithms…

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…

2003

2001

In the paper, we present declarative, model, and fixpoint semantics for fuzzy disjunctive programs with weak similarity — sets of…

1999

Equational problems (i.e.: first-order formulae with quantifier prefix ∃* ∀*, whose only predicate symbol is syntactic equality…

1993

By assigning numerical values to the atomic parts of a given artifact and, then, assigning the maximum of them to the artifact…

1992

An equational formula is a first order formula over an alphabet F of function symbols and the equality predicate symbol. Such…

1987

Let EOA be the elementary ontology augmented by an additional axiom ∃S (S ɛ S), and let LS be the monadic second-order predicate…

1976

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