Abstract

Logics for ‘generally’ were introduced for handling assertions with vague notions , which occur often in ordinary language and in science. LG’s provide a framework for distinct notions of ‘generally’: one builds a specific logic for the notion one has in mind. We introduce deductive systems, in natural deduction style, for LG’s and show that these systems are normalizable