Two Representation Theorems for Non-monotonic Inference Relations
Zhenmin Zhu, W. Xiao · Journal of Logic and Computation · 2007
This article considers some semantical properties of the postulates Weak Determinacy (WD) and Rational Contraposition (RC). In particular, we provide two representation theorems for preferential inference relations satisfying WD and RC respectively. This solves two open problems presented by H.Bezzazi, D.Makinson and R.Pino Pérez in [Journal of Logic and Computation, 7, 1997].