Proceedings of the third Scandinavian Logic Symposium