Gentzen-type semantics for v-valued infinitary predicate calculi - Przymusińska, Halina (1980)