Two Representation Theorems for Non-monotonic Inference Relations*

  • Authors:
  • Zhaohui Zhu;Wenjie Xiao

  • Affiliations:
  • -;-

  • Venue:
  • Journal of Logic and Computation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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].