Publish in OALib Journal
APC: Only $99
The AGM axiom system is for the belief
revision (revision by a single belief), and the DP axiom system is for the
iterated revision (revision by a finite sequence of beliefs). Li  gave an R-calculus for R-configurations Δ|Γ, where Δ is a set of atomic formulas or the negations
of atomic formulas, and Γ is a finite set of
formulas. In propositional logic programs, one R-calculus N will
be given in this paper, such that N is sound and complete with respect to operator s(Δ,t), where s(Δ,t)is a pseudo-theory minimal change of t by Δ.