Semantics for quantified relevance logic
type: Item
instance of: scholarly article
title: Semantics for quantified relevance logic
zbMATH Open document ID: 0646.03013
DOI: 10.1007/BF00249674
author: Kit Fine
published in: Journal of Philosophical Logic
publication date: 1988-01-01T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4053569
zbMATH Keywords: quantified relevance logics
zbMATH Keywords: universal quantifier
zbMATH Keywords: semantics
reviewed by: G. E. Mints
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00249674
OpenAlex ID: W2040400857
description: scientific article; zbMATH DE number 4053569