Leonardo B. Vana,  Paulo A. S. Veloso,  Sheila R. M. Veloso. 

We present deductive systems, in a natural deduction style, for Logics for Generally (LG’s), providing a proof strategy for theses logics. LG’s were introduced for handling assertions with vague notions, such as ‘generally’, ‘most’, ‘several’, etc., which occur frequently in ordinary language and in some branches of science. These deductive systems are obtained by adding new rules to a Natural Deduction System for First-Order Logic and are normalizable.

http://www.lbd.dcc.ufmg.br/colecoes/enia/2005/005.pdf

Processando consulta.