Conditional Implications and Non-monotonic Consequence
Dov M. Gabbay · 1995
Abstract The study of non-monotonic reasoning through properties of its consequence relation was first proposed by Gabbay [5]. Let L be a language and let |˜ a relation between sets of well-formed formulas (wffs) Δ and single wffs A, of the form Δ|˜A. Gabbay proposed three minimal conditions on a relation ˜ to be considered as a non-monotonic logic. These are as follows.