Maps between some different kinds of contraction function: the finite case
type: Item
instance of: scholarly article
title: Maps between some different kinds of contraction function: the finite case
zbMATH Open document ID: 0619.03028
DOI: 10.1007/BF00373274
author: Carlos E. Alchourrón
author: David Makinson
published in: Studia Logica
publication date: 1986-01-01T00:00:00Z
review text: A contraction of a theory A with respect to a proposition x is a subset of A that is closed under logical consequence and does not contain x. This paper compares different kinds of contraction functions, in particular partial meet contractions and safe contractions. It is known that every safe contraction function is a partial meet contraction function. In this paper it is shown that if the theory is finite, the converse also holds. Furthermore, this result is extended to some subclasses of partial meet contractions and safe contractions.
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 4004168
zbMATH Keywords: contraction of a theory
zbMATH Keywords: partial meet contractions
zbMATH Keywords: safe contractions
MaRDI profile type: Publication
cites work: Q3039305
cites work: On the logic of theory change: Partial meet contraction and revision functions
cites work: On the logic of theory change: safe contraction
full work available at URL: https://doi.org/10.1007/bf00373274
OpenAlex ID: W2001755427
description: scientific article; zbMATH DE number 4004168