Averaging premises.
This paper deals with the sets of strict conjectures and consequences of a given collection P of premises. The set of Averaging Functions is introduced on lattices and some properties of these functions are shown. Averaging Functions allow to interpret restricted consequences as averages of premises. The subset of consequences C9*(P) and the subset of conjectures Φg*(P) defined by means of the averaging function g are introduced, and their properties are studied. This sets allow to give decomposition...