Results in non-classical propositional logic - Segerberg, Krister, 1936- (1968)