PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
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 $C^\ast_g(P)$ and the subset of conjectures $\Phi^\ast_g(P)$ defined by means of the averaging function $g$ are introduced, and their properties are studied. This sets allow to give decomposition theorems for the restricted consequences and for the strict conjectures.