Author: Scandinavian Logic Symposium Aalborg, Denmark 1979.