Semantics for quantified relevance logic (Q1103606)

The author established earlier incompleteness of the large family of quantified relevance logics including RQ. The universal quantifier was interpreted there as a conjunction over all individuals of the world considered. In the paper under review \(\forall xA(x)\) in the world h is interpreted as A(i) for a new world obtained by adding a new individual i to h. The definition of semantics contains more than 30 clauses. Completeness is proved by means of a canonical model.