Maps between some different kinds of contraction function: the finite case (Q1089333): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q185572 |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: David Makinson / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3039305 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of theory change: Partial meet contraction and revision functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of theory change: safe contraction / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00373274 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2001755427 / rank | |||
Normal rank |
Latest revision as of 11:34, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maps between some different kinds of contraction function: the finite case |
scientific article |
Statements
Maps between some different kinds of contraction function: the finite case (English)
0 references
1986
0 references
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.
0 references
contraction of a theory
0 references
partial meet contractions
0 references
safe contractions
0 references