A General Theory of Structured Consequence Relations

L'A. analyse la definition formelle des systemes de raisonnement fondes sur le langage d'un systeme logique

[1]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[2]  David Makinson,et al.  General Theory of Cumulative Inference , 1988, NMR.