Results on infinite extensions
Karl Schlechta · Journal of Applied Non-Classical Logics · 1991
M. Freund, D. Lehmann, and D Makinson have introduced and examined a natural extension of finitary (non-monotonic) inference relations to the infinite case, which may be roughly described as an approximation from below We answer two questions left open there, discuss related problems, and present examples and techniques for constructing non-monotonic inference operations.