THEORY CONTRACTION AND BASE CONTRACTION UNIFIED

被引：46

作者：

HANSSON, SO

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1993年 / 58卷 / 02期

关键词：

D O I：

10.2307/2275221

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.

引用

页码：602 / 625

页数：24

共 13 条

[1] ON THE LOGIC OF THEORY CHANGE - PARTIAL MEET CONTRACTION AND REVISION FUNCTIONS [J].