Rational consequence relation (original) (raw)

In logic, a rational consequence relation is a non-monotonic consequence relation satisfying certain properties listed below.