1. C.E. Alchourrón, P. Gärdenfors, D. Makinson, On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic 50, 510–530 (1985)
2. M. Baaz, C.G. Fermüller, G. Salzer, R. Zach, Labeled calculi and finite-valued logics. Studia Logica 61, 7–33 (1998)
3. W. Li, R-calculus: an inference system for belief revision. Comput. J. 50, 378–390 (2007)
4. G. Malinowski, Many-valued logic and its philosophy, in Handbook of the History of Logic. The Many Valued and Nonmonotonic Turn in Logic, vol. 8, ed. by D.M. Gabbay, J. Woods (Elsevier, 2009)