Deductive Nonmonotonic Inference Operations: Antitonic Representations

Yuri Kaluzhny, Daniel Lehmann

We provide a characterization of those nonmonotonic inference operations C for which C(X) may be described as the set of all logical consequences of X together with some set of add…